Rado's Radical Reflections personal blog
Learning Lean: Part 1
Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…
- Points
- 131
- HN comments
- 16
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsProgramming Languages2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 15, 2026 | Learning Lean: Part 1 by vinhnx | 131 | 16 |
