Popular repositories Loading

1. LBPTest LBPTest Public

   Leanblueprint project test

   TeX 4

2. MathlibExplorer MathlibExplorer Public

   Forked from Crispher/MathlibExplorer

   Visualizing the network of math theories.

   Python

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. equational_theories equational_theories Public

   Forked from teorth/equational_theories

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

   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-archive

   Mathlib4 review and triage dashboard

   Python