4 ms·
this is pretty neat. well done
by lorenzosnap 10y ago
this is pretty neat. well done
- picrin 10y agoWell, 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)