discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Natural number game
https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/
14 comments
7/4/2020
The Future of Mathematics? [pdf]
http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
54 comments
8/9/2019
Reddit
Natural Number Game - A game where you learn to prove theorems using the Lean proof assistant
https://wwwf.imperial.ac.uk/%7Ebuzzard/xena/natural_number_game/
69 comments
7/4/2020
math
The future of mathematics? by Kevin Buzzard
http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
52 comments
8/9/2019
math