6 proofs of 2 + 2 = 2 * 2
lean-ide.github.io
6 proofs of 2 + 2 = 2 * 2
1–4 of 4 posts
Re: 6 proofs of 2 + 2 = 2 * 2
#2this is pretty neat. well done
Re: 6 proofs of 2 + 2 = 2 * 2
#3this 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)
Re: 6 proofs of 2 + 2 = 2 * 2
#4Nice work.
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.