☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (6)
Dependencies (10)
PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
#math
#additive-combinatorics
#information-theory
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
LeanAPAP
v4.21.0
Formalisation of the Kelley-Meka bound on Roth numbers
1
20