Reservoir
No results found
All Packages
ABCExceptions
Exceptions to the ABC conjecture in Lean
Readme
Versions (6)
Dependencies (10)
Displaying
1-6
of
6
versions of
ABCExceptions
Sort by
Date
Not a part of any version track.
5949e03
2 days ago
Released on June 4, 2025 at 4:55:24PM
Commit 5949e03 builds on its recent leanprover/lean4:v4.21.0-rc1
v4.21.0-rc1
3.7 MB
Build archive size: 3726312 bytes.
Not a part of any version track.
046130a
v4.21.0-rc1
3 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
3 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
17 days 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
6 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