lean-cvc5. A Foreign Function Interface (FFI) to cvc5 solver in Lean.
lean-smt-demo. Lean
paper-fmcad23-artifact. Slash
cvc5. cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
