Show HN: Formal Verification with Lean

 (daniellowengrub.com)

3 points | by lowdanie 3 days ago ago

1 comments