Mentions légales du service
Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki
Synchronized with github every hour
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Formal operational semantic of WEBI language written in coq.
Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics
Clean version of Transcoded ADA PSC optimizer
A 3 hour and a half tutorial for the Coq system
Formalizations accompanying my thesis "Extending Type Theory with Syntactical Models".
Coq formalization of Tes.
Implementations of an interpretation of system F through bar recursion
Ordered syntactic models of CIC