Show HN: Formal Verification with Lean

3 pointsposted a day ago
by lowdanie
(daniellowengrub.com)

1 Comments