Pinned Loading

1. lean-cvc5 lean-cvc5 Public

   A Foreign Function Interface (FFI) to cvc5 solver in Lean.

   Lean 19 7

2. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1 1

3. lean-smt lean-smt Public

   Forked from ufmg-smite/lean-smt

   Lean

4. Leanwuzla Leanwuzla Public

   Forked from hargoniX/Leanwuzla

   Connecting Bitwuzla to LeanSAT

   Lean

5. leanprover-community/lean-auto leanprover-community/lean-auto Public

   Experiments on automation for Lean

   Lean 149 24

6. strata-org/Strata strata-org/Strata Public

   Lean 120 23