Comment Comment by nequo I hope that this project will succeed.Incidentally, Verso is also the name of Lean 4’s DSL for typesetting documentation.[1] We are running out of words in the English language.[1] https://github.com/leanprover/verso parent nequo 2 years ago
Incidentally, Verso is also the name of Lean 4’s DSL for typesetting documentation.[1] We are running out of words in the English language.
[1] https://github.com/leanprover/verso