leanprover-communityAddCombi

The sublibrary of Mathlib dedicated to additive combinatorics
#math #additive-combinatorics
Displaying 1-3 of 3 packages depending on leanprover-community/AddCombi
Sort by

  1. YaelDillies/APAPusesb57ee30

    Formalisation of the Kelley-Meka bound on Roth numbers

  2. YaelDillies/MeanFourierusesv4.35.0-rc1

    Formalisation of mean Fourier analysis in Lean 4

  3. teorth/PFRuses3c05ba9

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