7 ms·
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/ver
by ajs1998 5mo 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 https://github.com/leanprover/verso