Show HN: Formal Verification with Lean

 (daniellowengrub.com)

3 points | by lowdanie 3 hours ago

1 comments