Show HN: Formal Verification with Lean

(daniellowengrub.com)

3 points | by lowdanie 7 hours ago ago

No comments yet.