No results found

LeanCamCombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.18.0

    The math library of Lean 4