Reservoir
No results found
All Packages
PFR
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Readme
Versions (1)
Dependencies (13)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
LeanAPAP
ece13c9
Formalisation of the Kelley-Meka bound on Roth numbers
Git dependency.
Found on Reservoir.
doc-gen4
d36b7fd
Document Generator for Lean 4
1
20