YaelDilliesAPAP

Formalisation of the Kelley-Meka bound on Roth numbers
#additive-combinatorics #combinatorics
Displaying 1-1 of 1 packages depending on YaelDillies/APAP
Sort by

  1. teorth/PFRuses13fd6dd

    Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)