Popular repositories Loading

1. LeanHammer LeanHammer Public

   LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

   Lean 76 6

2. QuerySMT QuerySMT Public

   Lean 6 2

3. DuperDemo DuperDemo Public

   Lean 3 2

4. Keller_reduction Keller_reduction Public

   Lean 2

5. joshclune.github.io joshclune.github.io Public

   Ruby

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean