Pinned Loading

1. Algolean Algolean Public

   Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

   Lean 19 9

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

   The math library of Lean 4

   Lean 3.7k 1.5k

3. leanprover/cslib leanprover/cslib Public

   The Lean Computer Science Library (CSLib)

   Lean 637 177

4. DGAlgorithms DGAlgorithms Public

   Distributed Graph Algorithms in Lean

   Lean 6 1

5. LeanFlows LeanFlows Public

   Lean 1

6. loogle-lean loogle-lean Public

   TypeScript 5 2