Pinned Loading

1. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 10k 1.1k

2. leanprover-community/ProofWidgets4 leanprover-community/ProofWidgets4 Public

   Helper toolkit for creating your own Lean 4 UserWidgets

   Lean 232 49

3. sinhp/HoTTLean sinhp/HoTTLean Public

   Lean 84 22

4. bsubercaseaux/EmptyHexagonLean bsubercaseaux/EmptyHexagonLean Public

   Code related to the Lean verification of the empty hexagon theorem

   Lean 12

5. rebryant/cpog rebryant/cpog Public

   Tools for certifying the D4 model counter

   Lean 1 1

6. FormalSAT/trestle FormalSAT/trestle Public

   Lean 25 6