☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (7)
Dependencies (9)
Dependents (1)
lean-pool
0.1.0
#math
Displaying
1-1
of
1
packages depending on
Vilin97/lean-pool
Sort by
Package Name
leanprover/lean-eval
uses
e9d53e9
Comparator-based Lean formal mathematics eval
1
20
lean-pool0.1.0lean-pool0.1.0