Pinned Loading

1. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 7.6k 786

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

   Helper toolkit for creating your own Lean 4 UserWidgets

   Lean 192 44

3. sinhp/HoTTLean sinhp/HoTTLean Public

   Lean 62 11

4. bsubercaseaux/EmptyHexagonLean bsubercaseaux/EmptyHexagonLean Public

   Code related to the Lean verification of the empty hexagon theorem

   Lean 11

5. rebryant/cpog rebryant/cpog Public

   Tools for certifying the D4 model counter

   Lean 1 1

6. FormalSAT/trestle FormalSAT/trestle Public

   Lean 23 5