MYWOT
Child safety
Very poor
Confidence
0%
Trustworthiness
Excellent
Confidence
12%
MALICIOUS CONTENT INDICATORS
Coq.inria.fr most likely does not offer any malicious content.
Secure connection support
HTTPS
Coq.inria.fr provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Coq.inria.fr most likely does not offer any adult content.
Popular pages
-
Welcome! | The Coq Proof Assistant
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 developme...