title

About - 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 352777a074d6df67c1682f4564b518051a2b94da

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/about

og:title

About - Coq

twitter:card

summary

twitter:image

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

twitter:url

https://coq.discourse.group/about

twitter:title

About - Coq

twitter:description

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

url

/u/zimmi48

url

/u/lys

url

/u/yforster

url

/u/ejgallego

url

/u/anton-trunov

apple-touch-icon

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

canonical

https://coq.discourse.group/about

icon

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

search

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

stylesheet

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