Reservoir
No results found
All Packages
equational_theories
A project to map out the relations between different equational theories of Magmas.
Readme
Versions (4)
Dependencies (14)
Displaying
1-4
of
4
versions of
equational_theories
Sort by
Date
Not a part of any version track.
f1ba144
2 days ago
Released on June 25, 2025 at 2:26:12AM
Commit f1ba144 builds on its recent leanprover/lean4:v4.20.1
v4.20.1
188.7 MB
Build archive size: 188718218 bytes.
Not a part of any version track.
4de9edc
v4.20.1
10 days ago
Released on June 16, 2025 at 8:24:39PM
Commit 4de9edc builds on its recent leanprover/lean4:v4.20.1
v4.20.1
188.7 MB
Build archive size: 188714936 bytes.
Not a part of any version track.
7779c23
v4.20.0
23 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
a month 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