HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by dtornow | Hacker News Reader
Parent
Full thread
dtornow
·
With specifications in First Order Logic (TLA+ syntax)
View on HN
No comments yet.