Reservoir
No results found
All Packages
SSA
A minimal development of SSA theory
Readme
Versions (5)
Dependencies (13)
Displaying
1-5
of
5
versions of
SSA
Sort by
Date
Not a part of any version track.
b4bdf9f
3 days ago
Released on October 3, 2024 at 9:37:56PM
Commit b4bdf9f builds on its old leanprover/lean4:nightly-2024-09-30
nightly-2024-09-30
28.7 MB
Build archive size: 28651230 bytes.
Not a part of any version track.
0c13dc6
v0.1.3
4 months ago
Released on June 11, 2024 at 12:40:45AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.8.0
Not a part of any version track.
fbf1102
v0.1.2
4 months ago
Released on June 7, 2024 at 9:40:03AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.8.0
Not a part of any version track.
7c87463
v0.1.1
4 months ago
Released on May 23, 2024 at 2:48:42PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.8.0-rc2
Not a part of any version track.
0c804af
v0.1.0
8 months ago
Released on January 22, 2024 at 4:06:39PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.3.0-rc1
1
20