Review of 'The Future of Mathematics? - YouTube'

1 · Shane Mulligan · June 10, 2020, 4 p.m.
Original article The Future of Mathematics? - YouTube Kevin Buzzard’s Blog https://xenaproject.wordpress.com/ Source code https://github.com/leanprover/lean Emacs mode https://github.com/leanprover/lean-mode Lean blog (Microsoft Research) http://leanprover.github.io/ Work in progress 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 Lean [#Microsoft research] [programming language] A theorem prover and programming language. It is based on the Calculus of Constructions with inductive types. Lean has a ...