☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (1)
Dependents (2)
extra
Supplements to the Lean 4 Standard Library
Displaying
1-2
of
2
packages depending on
fgdorais/extra
Sort by
Package Name
fgdorais/algebra
uses
6c3356e
Algebra library for Lean 4
fgdorais/lean4-automata
uses
7bfe9d5
1
20