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)
3 comments
[ 3.4 ms ] story [ 22.0 ms ] threadMy 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.