Pinned Loading

1. leanprover-community/sphere-eversion leanprover-community/sphere-eversion Public

   Formalization of the existence of sphere eversions

   Lean 36 10

2. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.6k 341

3. leanprover-community/lean leanprover-community/lean Public

   Lean 3 Theorem Prover (community fork)

   C++ 435 80

4. LeanCourse23 LeanCourse23 Public

   Lean 26 21

5. carleson carleson Public

   A formalized proof of Carleson's theorem in Lean

   Lean 29 21

6. BonnAnalysis BonnAnalysis Public

   repository for the collaborative formalization seminar in Analysis in Bonn

   Lean 4 6