HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by robertlagrant | Hacker News Reader
Parent
Full thread
robertlagrant
·
I have also done those three and we definitely did!
View on HN
fragmede
·
TLA+
akkad33
·
TLA+ ensures your model is correct, not that the code is correct
Reply on news.ycombinator.com