Reservoir
No results found
All Packages
SSA
A minimal development of SSA theory
Readme
Versions (5)
Dependencies (10)
Displaying
1-5
of
5
versions of
SSA
Sort by
Date
Not a part of any version track.
8267c2a
3 days ago
Released on December 6, 2024 at 8:23:53PM
Commit 8267c2a builds on its old leanprover/lean4:nightly-2024-12-06
nightly-2024-12-06
60.0 MB
Build archive size: 59967243 bytes.
Not a part of any version track.
0c13dc6
v0.1.3
6 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
6 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
7 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
a year 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