Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
yodsanklai
on Jan 18, 2019
|
parent
|
context
|
favorite
| on:
Introduction to TLA+ Model Checking in the Command...
It doesn't seem to be maintained, and it's not packaged either. Not sure it's worth installing.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
