Reservoir
No results found
All Packages
LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
#math
#combinatorics
#additive-combinatorics
#fourier-analysis
Readme
Versions (4)
Dependencies (9)
Dependents (2)
Displaying
1-4
of
4
versions of
LeanAPAP
Sort by
Date
Not a part of any version track.
727d08a
9 days ago
Released on May 2, 2025 at 8:15:18PM
Commit 727d08a builds on its recent leanprover/lean4:v4.19.0
v4.19.0
8.4 MB
Build archive size: 8421415 bytes.
Not a part of any version track.
61769c8
v4.19.0
9 days ago
Released on May 2, 2025 at 8:11:48PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0
Not a part of any version track.
9a8fb15
v4.18.0
a month 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