leanprover-communityAddCombi

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

  1. YaelDillies/APAPusesv4.30.0

    Formalisation of the Kelley-Meka bound on Roth numbers

  2. YaelDillies/MeanFourierusesb7456ec

    Formalisation of mean Fourier analysis in Lean 4