====== Coq ======

{{htmlmetatags>
metatag-media-og:image=({ :a:coq:coq-logo-large.png?400|})
metatag-og:title=(Start)
}}

{{ :a:coq:coq-logo-large.png?100 |}}

Coq is a formal verification system based on the [[a:models_of_computation:lambda_calculus|Lambda Calculus]].

/* Only for namespace indeces */
<nspages -tree -r -exclude -subns -pagesInNs -hideNoSubns -h1 -textNs="Table of Contents">