additive-combinatorics

There are 0 repository under additive-combinatorics topic.

• / LeanCamCombi

  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

  additive-combinatoricscombinatoricslean4
  Language:Lean 27

• / LeanAPAP

  Formalisation of the Kelley-Meka bound on Roth numbers

  additive-combinatoricslean4combinatorics
  Language:Lean 10

• / addcomb-js

  AddComb.js is a javascript library for additive combinatorics calculation.

  combinatoricsadditive-combinatorics
  Language:HTML 2