README.md - cohpred - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/README.md

blob: 6a3a67307937932bc9869a100c3a200cd89662b5 (plain)

# CohPred

Coherent predicates: translation validation of predicates in Coq using an
external SMT solver and relying on SMTCoq to read the unsatisfiability proof.