Explore projects
-
pred-tv / cohpred
GNU General Public License v3.0 or laterCoherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.
Updated -
Teaching material for an industrial audience
Updated -
LECHENET Jean-Christophe / lDFS
MIT LicenseFormalization in Coq and Why3 of a theory about weak control dependence
Updated -
pred-tv / SMTCoq
CeCILL-C Free Software License AgreementFork of https://github.com/smtcoq/smtcoq.
Updated