☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (14)
Numbers
An introduction to numbers
Displaying
1-2
of
2
versions of
Numbers
Sort by
Date
Not a part of any version track.
2eaf894
8 days ago
Released on July 9, 2025 at 3:35:05AM
Commit 2eaf894 fails to build on leanprover/lean4:v4.22.0-rc2
v4.22.0-rc2
Not a part of any version track.
ea0dcee
v4.22.0-rc2
15 days ago
Released on July 2, 2025 at 5:51:33AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.22.0-rc2
1
20