← Back to context Comment by whacked_new 3 hours ago wait, I'm intrigued, it says the blog itself is lean code. How? It's rendered, like pollen? 1 comment whacked_new Reply ajs1998 1 hour ago It 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
ajs1998 1 hour ago It 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
It 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