Reservoir
No results found
All Packages
PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
#math
#additive-combinatorics
#information-theory
Readme
Versions (5)
Dependencies (10)
Displaying
1-5
of
5
versions of
PFR
Sort by
Date
Not a part of any version track.
c750735
v4.20.1
5 hours ago
Released on June 6, 2025 at 10:11:12AM
Commit c750735 builds on its recent leanprover/lean4:v4.20.1
v4.20.1
23.4 MB
Build archive size: 23445035 bytes.
Not a part of any version track.
c750735
v4.20.1
5 hours ago
Released on June 6, 2025 at 10:11:12AM
Commit c750735 builds on its recent leanprover/lean4:v4.20.1
v4.20.1
23.4 MB
Build archive size: 23445035 bytes.
Not a part of any version track.
859f6b2
v4.19.0
a month ago
Released on May 2, 2025 at 10:27:54PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0
Not a part of any version track.
0010cb5
v4.18.0
2 months ago
Released on April 4, 2025 at 3:20:53PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
620466f
v4.17.0
3 months ago
Released on March 5, 2025 at 8:41:50PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20