Reservoir
No results found
All Packages
equational_theories
A project to map out the relations between different equational theories of Magmas.
Readme
Versions (3)
Dependencies (14)
Displaying
1-3
of
3
versions of
equational_theories
Sort by
Date
Not a part of any version track.
7779c23
v4.20.0
3 days ago
Released on June 3, 2025 at 7:41:09AM
Commit 7779c23 builds on its recent leanprover/lean4:v4.20.0
v4.20.0
188.7 MB
Build archive size: 188702239 bytes.
Not a part of any version track.
7779c23
v4.20.0
3 days ago
Released on June 3, 2025 at 7:41:09AM
Commit 7779c23 builds on its recent leanprover/lean4:v4.20.0
v4.20.0
188.7 MB
Build archive size: 188702239 bytes.
Not a part of any version track.
f5c1bab
v4.20.0-rc5
19 days ago
Released on May 18, 2025 at 7:59:17PM
Commit f5c1bab builds on its recent leanprover/lean4:v4.20.0-rc5
v4.20.0-rc5
188.7 MB
Build archive size: 188719234 bytes.
1
20