Pinned Loading

1. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 6.8k 703

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

   Helper toolkit for creating your own Lean 4 UserWidgets

   Lean 166 41

3. bsubercaseaux/EmptyHexagonLean bsubercaseaux/EmptyHexagonLean Public

   Code related to the Lean verification of the empty hexagon theorem

   Lean 11

4. xnfsat xnfsat Public

   C 6 1