6 proofs of 2 + 2 = 2 * 2

Posted by picrin on Sunday February 12, 2017 @08:37AM
from the lean-ide.github.io dept.

https://lean-ide.github.io/2plus2equals2times2/

( 3 comments | 3 points | on HN )

Re:6 proofs of 2 + 2 = 2 * 2 by gus_massa on Sunday February 12, 2017 @11:27AM (#13629025)

Nice 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.

[ Parent | on HN ]

Re:6 proofs of 2 + 2 = 2 * 2 by lorenzosnap on Sunday February 12, 2017 @09:09AM (#13628359)

this is pretty neat. well done

[ Parent | on HN ]

Re:6 proofs of 2 + 2 = 2 * 2 by picrin on Sunday February 12, 2017 @09:23AM (#13628416)

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)

[ Parent | on HN ]