discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
The Natural Number Game - interactive Lean tutorial
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
3 comments
28/7/2022
compsci , formalmethods , math
Reddit
The rise of formalism in mathematics - Kevin Buzzard - ICM 2022 - Special Plenary Lecture (Slides - PDF)
https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/BuzzardICM2022talk.pdf
51 comments
9/7/2022
math