gitlab.inria.fr / pred-tv 2 Repositories
pred-tv/cohpred
Coherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
pred-tv/smtcoq
Fork of https://github.com/smtcoq/smtcoq.
Last synced at: 7 months ago - Stars: 0 - Forks: 0