Projects with this topic
Sort by:
-
Coherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.
Updated
For information, the next GitLab upgrade has been postponed to Monday September 14
Coherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.