Reservoir
No results found
All Packages
ABCExceptions
Exceptions to the ABC conjecture in Lean
Readme
Versions (7)
Dependencies (10)
Displaying
1-7
of
7
versions of
ABCExceptions
Sort by
Date
Not a part of any version track.
ac3581f
5 days ago
Released on June 22, 2025 at 2:13:27PM
Commit ac3581f builds on its recent leanprover/lean4:v4.21.0-rc3
v4.21.0-rc3
3.8 MB
Build archive size: 3845284 bytes.
Not a part of any version track.
15c73ab
v4.21.0-rc3
17 days ago
Released on June 10, 2025 at 11:11:08AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.21.0-rc3
Not a part of any version track.
046130a
v4.21.0-rc1
24 days ago
Released on June 3, 2025 at 8:00:29PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.21.0-rc1
Not a part of any version track.
a7d847a
v4.20.0
24 days ago
Released on June 3, 2025 at 7:05:06PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.20.0
Not a part of any version track.
dc5a7f5
v4.20.0-rc5
a month ago
Released on May 20, 2025 at 10:25:58PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.20.0-rc5
Not a part of any version track.
5684027
v4.16.0-rc2
5 months ago
Released on January 14, 2025 at 5:25:47PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0-rc2
Not a part of any version track.
9af9bf0
v4.15.0-rc1
7 months ago
Released on December 11, 2024 at 12:23:29AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
1
20