6 proofs of 2 + 2 = 2 * 2(lean-ide.github.io)
lean-ide.github.io
6 proofs of 2 + 2 = 2 * 2
https://lean-ide.github.io/2plus2equals2times2/
3 comments
this is pretty neat. well done
Well, most of the work (asm.js compiler, github pages template) has been done by lean developers (and I agree, it's a marvel):
https://github.com/leanprover/mkleanbook
My contribution is just the content. There are alternative tutorials available, but they all require significant time investment (weeks to months)
My contribution is just the content. There are alternative tutorials available, but they all require significant time investment (weeks to months)
I expected 6 proof by pencil and paper, but this have 6 proof that can be run and verified in the browser by the computer.