Hacker News new | ask | show | jobs
Show HN: Formal Verification with Lean (daniellowengrub.com)
3 points by lowdanie 37 days ago