leandown

leandown is a literate Lean 4 publishing tool. Each page is a Lean source file annotated with structured comments that render as prose, with LaTeX math via KaTeX and clickable cross-references between files. Only files that build cleanly with no warnings are included.