Tag Archives: natural number game

The natural number game — an update

I just pushed an update to the natural number game. I’m rather pleased with how this has all worked out. I started off thinking it was kind of a game, but the explanations turned out so wordy and now I … Continue reading

Posted in Learning Lean, M40001, undergrad maths | Tagged , | 22 Comments

Chalkdust, and the natural number game!

Ever wanted to prove x+y=y+x but couldn’t be bothered to download and install a computer theorem prover? Well now you can! Continue reading

Posted in Learning Lean, undergrad maths | Tagged , , , | 13 Comments