PinnedLoading

1. leanprover-community/sphere-eversionleanprover-community/sphere-eversionPublic

   Formalization of the existence of sphere eversions

   Lean 39 13

2. leanprover-community/mathlib4leanprover-community/mathlib4Public

   The math library of Lean 4

   Lean 1.8k 394

3. leanprover-community/leanleanprover-community/leanPublic

   Lean 3 Theorem Prover (community fork)

   C++ 434 78

4. LeanCourse23LeanCourse23Public

   Lean 28 21

5. carlesoncarlesonPublic

   A formalized proof of Carleson's theorem in Lean

   Lean 49 28

6. BonnAnalysisBonnAnalysisPublic

   repository for the collaborative formalization seminar in Analysis in Bonn

   Lean 6 7