Mathematics
nullenvk
•
1y ago
•
100%
The Natural Number Game
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/An interactive introduction to the Lean theorem prover and "a part-book part-game which shows the power of induction".
Comments 0