HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by fragmede | Hacker News Reader
Parent
Full thread
fragmede
·
TLA+
View on HN
akkad33
·
TLA+ ensures your model is correct, not that the code is correct
Reply on news.ycombinator.com