Hacker News new | ask | show | jobs
by gfd 1110 days ago
Can someone summarize how it achieves "provable correctness"?