1
Formalising Mathematics: An Introduction
An introduction to the TCC course “Formalising Mathematics”
Kevin Buzzard
Mathematicians learning Lean by doing.
- Popular posts
- 8
- Total points
- 2,067
- HN comments
- 1,202
- Rank
- #799 personal
Visit xenaproject.wordpress.com → RSS feedOn Hacker News Jul 2020 – Oct 2026
Math & Algorithms 7AI & Machine Learning 4Software Engineering 2Life, Learning & Writing 1History & Retro Computing 1
2
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?