Reservoir
No results found
All Packages
algebra
Algebra library for Lean 4
Readme
Versions (1)
Dependencies (3)
Displaying
1-1
of
1
versions of
algebra
Sort by
Date
Not a part of any version track.
5ec0f94
11 hours ago
Released on July 3, 2025 at 4:12:58AM
Commit 5ec0f94 builds on its recent leanprover/lean4:v4.22.0-rc2
v4.22.0-rc2
2.9 MB
Build archive size: 2855144 bytes.
1
20