No results found

cvc5

A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Displaying 1-2 of 2 packages depending on abdoo8080/cvc5
Sort by

  1. ufmg-smite/smtusesaff591a

    Tactics for discharging Lean goals into SMT solvers.

  2. avigad/VerificationDemousesea389d5

    A temporary repository