abdoo8080cvc5

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

  1. GasStationManager/FormalizeWithTestusesb7a6933

    Autoformalization of coding problems, verified with test cases

  2. project-numina/libuses6ab4368

    Solving Competition Geometry Problems in Lean

  3. ufmg-smite/smtusesbe011cf

    Tactics for discharging Lean goals into SMT solvers.

  4. verse-lab/veiluses20a6b2f

    A verifier for automated and interactive proofs about transition systems.

  5. avigad/VerificationDemousesea389d5

    A temporary repository

  6. sdiehl/ZeroToQEDuses573fd67

    From Zero to QED: An informal introduction to formality with Lean 4