Popular repositories Loading

1. ShearerTriangleFreeInd ShearerTriangleFreeInd Public

   Lean 4 proofs of Shearer’s bound on independence number and a new bound on the number of independent sets in triangle-free graphs.

   Lean 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. IndependentTransversals IndependentTransversals Public

   Lean 4 formalization of the reconfiguration of independent transversals (Buys, Kang, Ozeki 2025)

   Lean

4. Pjotr5.github.io Pjotr5.github.io Public

   HTML