subverso
of 7 packages depending on leanprover/subverso
1-7Sort by
Package Name
FormalizedFormalLogic/Foundationuses
767f104
Formalization of Mathematical Logicalok/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
767f104
Lean documentation authoring toolleanprover/verso-manualuses
767f104
The Lean reference manuallean-ja/verso-manualuses
6e2fe67
「The Lean Language Reference」の日本語訳(作業中)