Popular repositories Loading

1. MathlibExplorer MathlibExplorer Public

   Forked from Crispher/MathlibExplorer

   Visualizing the network of math theories.

   Python

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. equational_theories equational_theories Public

   Forked from teorth/equational_theories

   A project to map out the relations between different equational theories of Magmas.

   Lean

4. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean

5. formalising-mathematics-notes formalising-mathematics-notes Public

   Forked from kbuzzard/formalising-mathematics-notes

   Course notes for Formalising Mathematics 2025

   Lean

6. queueboard queueboard Public

   Forked from leanprover-community/queueboard

   Mathlib4 review and triage dashboard

   Python