leanprover-communityAddCombi

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

  1. mbrcic/ai-safety-formalization-atlasusesv4.33.0

    The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.

  2. YaelDillies/APAPusesv4.35.0-rc4

    Formalisation of the Kelley-Meka bound on Roth numbers

  3. YaelDillies/MeanFourierusesv4.35.0-rc1

    Formalisation of mean Fourier analysis in Lean 4

  4. teorth/PFRusesv4.35.0-rc4

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