leanprover/verso
View on GitHub ↗ ★ 407 Lean
Lean documentation authoring tool
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2024-08-11 · latest 2026-04-13
20082026
-
…is that it's like really fancy javadocs that makes communicating Lean code easier for everyone. https://github.com/leanprover/verso
comment by ajs1998 · 2026-04-13 · in A perfectable programming language -
I believe you can thank Verso for that: https://github.com/leanprover/verso
comment by md224 · 2026-04-12 · in A perfectable programming language -
…for code review to help read AI code. I use [Lean 4](lean-lang.org) and its doc tool [Verso]( https://github.com/leanprover/verso/ ) and have it explain the code through a literate essay. It is integrated with Lean and gets proper…
comment by yuppiemephisto · 2026-03-09 · in We should revisit literate programming in the agent era -
…4’s DSL for typesetting documentation.[1] We are running out of words in the English language. [1] https://github.com/leanprover/verso
comment by nequo · 2024-08-11 · in Verso – Web browser built on top of the Servo web engine