Show HN: Formal Verification with Lean

 (daniellowengrub.com)

3 points | by lowdanie 12 hours ago

1 comments