The Natural Number Game
An interactive introduction to the Lean theorem prover and "a part-book part-game which shows the power of induction".
An interactive introduction to the Lean theorem prover and "a part-book part-game which shows the power of induction".