Show HN: Formal Verification with Lean

 (daniellowengrub.com)

1 points | by lowdanie 1 hour ago

0 comments