Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nickkell
on Jan 18, 2019
|
parent
|
context
|
favorite
| on:
Introduction to TLA+ Model Checking in the Command...
You still might want to use the IDE at first, mainly because resources like Lamport's video lectures use it.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
