abdoo8080cvc5

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

  1. GasStationManager/FormalizeWithTestusesb7a6933

    Autoformalization of coding problems, verified with test cases

  2. BoltonBailey/FormalSnarksProjectuses7e33659

    A formal verification of Linear PCP SNARKs.

  3. JOSHCLUNE/Hammeruses7e33659

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

  4. project-numina/libuses6ab4368

    Solving Competition Geometry Problems in Lean

  5. ufmg-smite/smtuses7e33659

    Tactics for discharging Lean goals into SMT solvers.

  6. verse-lab/veilusesef0efbf

    A verifier for automated and interactive proofs about transition systems.

  7. avigad/VerificationDemousesea389d5

    A temporary repository