Hacker News new | ask | show | jobs
Formal Proof (ams.org)
1 points by fluffster 6227 days ago