subverso
of 6 packages depending on leanprover/subverso
1-6Sort by
Package Name
alok/LeanPlotuses
a3e5c4c
Interactive React-powered charting library for Lean 4 in VS Code's infoviewHEPLean/Notesuses
313043e
Notes in PhysLeanBeneficial-AI-Foundation/NumpySpecuses
79c973b
numpy -> lean 4 through aileanprover/versouses
bdc74c9
Lean documentation authoring toolleanprover/verso-manualuses
93548b1
The Lean reference manuallean-ja/verso-manualuses
6e2fe67
「The Lean Language Reference」の日本語訳(作業中)