verso
Lean documentation authoring tool
of 5 packages depending on leanprover/verso
1-5Sort by
Package Name
alok/LeanPlotuses
cdd5637
Interactive React-powered charting library for Lean 4 in VS Code's infoviewHEPLean/Notesuses
v4.19.0
Notes in PhysLeanBeneficial-AI-Foundation/NumpySpecuses
0ce8d97
numpy -> lean 4 through aileanprover/verso-manualuses
ce4108e
The Lean reference manuallean-ja/verso-manualuses
7d3a46e
「The Lean Language Reference」の日本語訳(作業中)