Show HN: Formal Verification with Lean

3 points | by lowdanie 21 hours ago