Pinned Loading

1. formalising-mathematics-notes formalising-mathematics-notes Public

   Course notes for Formalising Mathematics 2025

   Lean 34 7

2. maths-notes maths-notes Public

   Lecture notes from Cambridge maths

   TeX 66 18

3. exponential-ramsey exponential-ramsey Public

   A formal proof of an exponentially better upper bound on Ramsey numbers

   Lean 14

4. topos topos Public

   Topos theory in lean

   Lean 59 2

5. unit-fractions unit-fractions Public

   Lean 15 2

6. AharoniKorman AharoniKorman Public

   Disproof of the Aharoni–Korman conjecture

   Lean 10