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