YaelDilliesLeanAPAP

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

  1. teorth/PFRuses896ac8d

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

  2. Command-Master/pseudorandomusesff5ae59