HNGlance

Top Best New Show

6 proofs of 2 + 2 = 2 * 2

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

by picrin • 9 years ago

3 3 9 years ago

LE

lean-ide.github.io

Related Stories

Loading related stories...

Comments

3

lorenzosnap• 9 years ago

this is pretty neat. well done

picrin• 9 years ago

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)

gus_massa• 9 years ago

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.

Source preview

lean-ide.github.io

HNGlance

© 2024-2026 HN Glance. Story content belongs to its original sources.

Privacy
Terms