Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.5k 341

2. leanprover/vscode-lean4 leanprover/vscode-lean4 Public

   Visual Studio Code extension for the Lean 4 proof assistant

   TypeScript 169 48

3. loogle-lean loogle-lean Public

   TypeScript 4 2

4. DGAlgorithms DGAlgorithms Public

   Distributed Graph Algorithms in Lean

   Lean 2

5. lecopivo/SciLean lecopivo/SciLean Public

   Scientific computing in Lean 4

   Lean 327 29

6. leanprover-community/batteries leanprover-community/batteries Public

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean 250 103