/natural-number-game-solutions

Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

natural-number-game-solutions

Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

Worlds

Tutorial World

Addition World

Multiplication World

Power World

Function World

Proposition World

Advanced Proposition World

Advanced Addition World

Advanced Multiplication World

Inequality World