Pinned Loading

1. LeanBlockCourse26 LeanBlockCourse26 Public

   Formalized Math in Lean – FUB Block Course 2026

   Lean 1 20

2. thebook.lean thebook.lean Public

   Proofs from THE BOOK written up in lean

   Lean 4 1

3. multicolorramsey multicolorramsey Public

   Repository for formalizing the improved upper bounds on the multicolor Ramsey numbers

   TeX

4. rs_radomult_23 rs_radomult_23 Public

   Code accompanying "The Rado Multiplicity Problem in Vector Spaces over Finite Fields" (arXiv:2304.00400)

   Python 1

5. kps_trianglemult kps_trianglemult Public

   Code accompanying "The Four-Color Ramsey Multiplicity of Triangles" (arXiv:2312.08049)

   Python

6. agps-lovasz-2025 agps-lovasz-2025 Public

   Code accompanying "Infinitely many counterexamples to a conjecture of Lovász" (arXiv:2506.21286)

   Python 1