No results found

LeanAPAP

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

  1. teorth/PFRusesdb3f808

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

  2. Command-Master/pseudorandomusesff5ae59