Andrew Helwer personal blog
Doing a math assignment with the Lean theorem prover
Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language. Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, I enrolled in MATH 273: Numbers and Proofs at the University of Calgary. This wasn’t my first encounter with…
- Points
- 141
- HN comments
- 29
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 6, 2020 | Doing a math assignment with the Lean theorem prover by ahelwer | 141 | 29 |
