Hide content and notifications from this user.
Contact Support about this user's behavior.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Coq formalization of moessner's theorem using coinduction
Fork of http://compcert.inria.fr/
Prototype of a C semantics
Forked from http://r6.ca/FewDigits/