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/mkl

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 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)