Displaying 1-5 of 5 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/smtuses77f45ae

    Tactics for discharging Lean goals into SMT solvers.
  4. verse-lab/veiluses5069cb6

    A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
  5. avigad/VerificationDemousesea389d5

    A temporary repository