Sujet: "Coq"
certicompil/Chamois-CompCert
Verimag's fork of CompCert
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 3 - forks: 0
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.
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
pred-tv/smtcoq
Fork of https://github.com/smtcoq/smtcoq.
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0