verso
Lean documentation authoring tool
of 4 packages depending on leanprover/verso
1-4Sort by
Package Name
alok/LeanPlotuses
cdd5637
HEPLean/Notesuses
v4.19.0
Notes in PhysLeanleanprover/verso-manualuses
cdd5637
The Lean reference manuallean-ja/verso-manualuses
7d3a46e
「The Lean Language Reference」の日本語訳(作業中)