coq.inria.fr
Welcome! | The Coq Proof Assistant
Home About Coq Get Coq Documentation Community Consortium Source Code Old news The Coq Proof Assistant Welcome! Learning about Coq Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable ...
Alexa stats for coq.inria.fr
Site Seo for coq.inria.fr
| Tag : |
|
||||||||||
| Image : | There are 1 images on this website and 1 images have alt attributes | ||||||||||
| Frame : | There are 0 embed on this website. | ||||||||||
| Flash : | There are 0 flash on this website. | ||||||||||
| Size : | 8,668 characters | ||||||||||
| Meta Description : | No | ||||||||||
| Meta Keyword : | No |
Google 
Alexa 
Bing 
Aol 
Search.com