Displaying 1-3 of 3 packages depending on abdoo8080/cvc5
Sort by
  1. GasStationManager/FormalizeWithTestusesb7a6933

    Autoformalization of coding problems, verified with test cases
  2. ufmg-smite/smtusesfc92260

    Tactics for discharging Lean goals into SMT solvers.
  3. avigad/VerificationDemousesea389d5

    A temporary repository