YaelDilliesAPAP

Formalisation of the Kelley-Meka bound on Roth numbers
#math #combinatorics #additive-combinatorics #fourier-analysis
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)