Reservoir
No results found
All Packages
LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Readme
Versions (3)
Dependencies (9)
Dependents (2)
Displaying
1-3
of
3
versions of
LeanAPAP
Sort by
Date
Not a part of any version track.
67a29bd
14 days ago
Released on April 15, 2025 at 10:54:33AM
Commit 67a29bd builds on its recent leanprover/lean4:v4.19.0-rc3
v4.19.0-rc3
8.4 MB
Build archive size: 8427064 bytes.
Not a part of any version track.
9a8fb15
v4.18.0
25 days ago
Released on April 4, 2025 at 9:43:59AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
5763324
v4.17.0
2 months ago
Released on March 5, 2025 at 10:57:01AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20