title

Coq - The Coq proof assistant user and developer forum.

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.beta2-dev - https://github.com/discourse/discourse version ed4791d0b018e8a1608d4912728e3438ce4148d8

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/

og:title

Coq

twitter:card

summary

twitter:image

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

twitter:url

https://coq.discourse.group/

twitter:title

Coq

twitter:description

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

itemListOrder

http://schema.org/ItemListOrderDescending

position

0

url

/c/using-coq/5

position

1

url

/c/plugin-development/6

apple-touch-icon

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

canonical

https://coq.discourse.group/

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_e1e1c57d97cca01ae65fc2c240b8bd124ebc9f5f.css?__ws=coq.discourse.group