No results found

LeanAPAP

Formalisation of the Kelley-Meka bound on Roth numbers
#math #combinatorics #additive-combinatorics #fourier-analysis
Displaying 1-2 of 2 packages depending on YaelDillies/LeanAPAP
Sort by

  1. teorth/PFRusesv4.19.0

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

  2. Command-Master/pseudorandomusesff5ae59