Popular repositories Loading

1. erdos-81-chordal-clique-partitions erdos-81-chordal-clique-partitions Public

   Preprint series on fractional and integral clique partitions, chordal graphs and quantitative stability, with bilingual manuscripts, Lean 4 formalizations and audit evidence.

   Lean 1 1

2. lean-pool lean-pool Public

   Forked from Vilin97/lean-pool

   Lean 1

3. certo-math certo-math Public

   Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really i…

   Python 1

4. haggkvist-janssen haggkvist-janssen Public

   Lean formalization of the classical complete-graph list edge colouring bound, Apache-2.0

   Lean 1

5. Erdos-Problems Erdos-Problems Public

   Forked from JAgbanwa/Erdos-Problems

   Lean