Popular repositories Loading

1. EG EG Public

   Formalizing Euclidean Geometry in Lean

   Lean 30 55

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Lean 4 4

3. neukirch neukirch Public

   Lean 3 2

4. CPAlgClosed CPAlgClosed Public

   C_p is algebraically closed in Lean 4

   Lean 1

5. test_lean_project test_lean_project Public

   Lean

6. learn_git learn_git Public