Show HN: Formal Verification with Lean

 (daniellowengrub.com)

3 points | by lowdanie 20 hours ago

1 comments