subverso
of 6 packages depending on leanprover/subverso
1-6Sort by
Package Name
alok/LeanPlotuses
a3e5c4c
HEPLean/Notesuses
313043e
Notes in PhysLeanBeneficial-AI-Foundation/NumpySpecuses
79c973b
numpy -> lean 4 through aileanprover/versouses
ffe97db
Lean documentation authoring toolleanprover/verso-manualuses
ffe97db
The Lean reference manuallean-ja/verso-manualuses
6e2fe67
「The Lean Language Reference」の日本語訳(作業中)