title

FAQ - Coq

charset

utf-8

description

The Coq Discourse is meant to be a standard place to discuss questions about the Coq system and related topics.

generator

Discourse 3.4.0.beta3-dev - https://github.com/discourse/discourse version 16a96635570612029c1e4de3df052c0d53a83e09

theme-color

#ffffff

og:site_name

Coq

og:type

website

og:image

https://canada1.discourse-cdn.com/free1/uploads/coq/original/1X/d6c87881afe17be6e590f96af1946f5e4d01948f.png

og:url

https://coq.discourse.group/guidelines

og:title

FAQ - Coq

twitter:card

summary

twitter:image

https://canada1.discourse-cdn.com/free1/uploads/coq/original/1X/d6c87881afe17be6e590f96af1946f5e4d01948f.png

twitter:url

https://coq.discourse.group/guidelines

twitter:title

FAQ - Coq

twitter:description

The Coq Discourse is meant to be a standard place to discuss questions about the Coq system and related topics.

lastReviewed

2019-01-02

apple-touch-icon

https://canada1.discourse-cdn.com/free1/uploads/coq/optimized/1X/85bad3e1b237e58575d11441f4cdbb41ea003a20_2_180x180.png

canonical

https://coq.discourse.group/guidelines

icon

https://canada1.discourse-cdn.com/free1/uploads/coq/optimized/1X/921365beb308a9ef6582ac6f982126ba2076f71d_2_32x32.png

search

https://coq.discourse.group/opensearch.xml

stylesheet

https://sea1.discourse-cdn.com/free1/stylesheets/color_definitions_light_2_3_24b5b6ff817f79b2bcc70efd78d6dce1bb833372.css?__ws=coq.discourse.group