HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by gfd | Hacker News Reader
Full thread
gfd
·
Can someone summarize how it achieves "provable correctness"?
View on HN
No comments yet.