YaelDilliesLeanCamCombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
#math #combinatorics #additive-combinatorics #probabilitistic-combinatorics #extremal-combinatorics #set-family #graph-theory #model-theory
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.21.0

    The math library of Lean 4