Tag Archives: M40001

Chalkdust, and the natural number game!

Posted on October 24, 2019 by xenaproject

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