1
From Zero to QED: An informal introduction to formality with Lean 4
An informal introduction to formality in Lean 4
Stephen Diehl
- Popular posts
- 2
- Total points
- 245
- HN comments
- 30
- Rank
- #10,740 personal
Visit sdiehl.github.io → On Hacker News Sep 2013 – Dec 2025