verso

Tech stack & purpose

Verso is a documentation authoring tool for the Lean programming language, designed to support diverse documentation genres including instructional books, software manuals, API documentation, and research papers. Built in Lean 4, Verso provides libraries for representing documents paired with a Markdown-like concrete syntax, enabling users to leverage Lean's metaprogramming API to create custom features and extensions. The project draws inspiration from Scribble and Sphinx, and includes capabilities for accurately syntax-highlighted Lean code, cross-document semantic linking, and HTML rendering with interactive proof state display. Development is led by David Thrane Christiansen, with the project coordinated to track Lean releases through versioned branches and tags.

Community & reference links

• View the latest demo & docs here
• visit the docs
• Scribble
• uv
• github.com/atomiks/tippyjs
• Migration Guide
• @tippyjs/react
• Alectryon
• github.com/dequelabs/axe-core
• github.com/farzher/fuzzysort
• github.com/KaTeX/KaTeX
• github.com/KaTeX/KaTeX/discussions
• download KaTeX
• Lean's LSP testing documentation
• `verso-templates`
• github.com/markedjs/marked
• on the website
• katex.org/
• on the demo page
• API documentation
• the documentation
• handling errors documentation
• options documentation
• list of supported functions
• Lean language reference
• Functional Programming in Lean
• Theorem Proving in Lean
• Mathematics in Lean
• popper.js.org/docs/v2/
• the project's website
• verso.lean-lang.org/
• verso.lean-lang.org/doc/4.29.0/`
• verso.lean-lang.org/doc/4.29.0-rc1/`
• verso.lean-lang.org/doc/latest/`
• verso.lean-lang.org/doc/stable/`
• in-progress Verso manual
• webaim.org/
• www.digitala11y.com/accessible-ui-component-libraries-roundup/
• this speed test
• Sphinx
• www.w3.org/WAI/ARIA/apg/patterns/combobox/examples/combobox-autocomplete-both/

Languages

Contributors

• 
  David Thrane Christiansen603 commits · 585 followers
• 
  Robert J. Simmons56 commits · 144 followers
• 
  Kim Morrison39 commits · 552 followers
• 
  dependabot[bot]31 commits · 0 followers
• 
  Jakob Vase26 commits · 10 followers
• 
  Emilio Jesús Gallego Arias13 commits · 206 followers
• 
  Garmelon10 commits · 42 followers
• 
  Jason7 commits · 65 followers
• 
  Jason5 commits · 40 followers
• 
  jrr63 commits · 19 followers
• 
  Anne Baanen3 commits · 49 followers
• 
  Bhavik Mehta3 commits · 156 followers
• 
  Anne Baanen2 commits · 49 followers
• Sebastian Miele2 commits
• Francisco Giordano2 commits
• 
  Wojciech Nawrocki2 commits · 122 followers
• Matthias Geier2 commits
• Adam Dingle2 commits
• SnO₂WMaN1 commits
• 
  Gaëtan Serré1 commits · 30 followers
• Alok Singh1 commits
• 
  Pim Otte1 commits · 33 followers
• 
  Julia Markus Himmel1 commits · 82 followers
• 
  Phil de Joux1 commits · 34 followers
• 
  Johan Commelin1 commits · 101 followers
• Jonathan Merritt1 commits
• Richard L Ford1 commits
• Sofia Rodrigues1 commits
• 
  Taksh Kothari1 commits · 18 followers
• Hanson Char1 commits