☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (13)
Dependencies (13)
LeanMachineLearning
The Lean Machine Learning Library
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
mathlib
6a6c957
The math library of Lean 4
Git dependency.
Found on Reservoir.
verso
a9c31d5
Lean documentation authoring tool
1
20
