4 ms·
wait, I'm intrigued, it says the blog itself is lean code. How? It's rendered, like pollen?
by whacked_new 6mo ago
wait, I'm intrigued, it says the blog itself is lean code. How? It's rendered, like pollen?
- ajs1998 6mo agoIt is verso. My understanding is that it's like really fancy javadocs that makes communicating Lean code easier for everyone. https://github.com/leanprover/verso https://github.com/leanprover/verso