coq.discourse.group/c/coq-development/7

Preview meta tags from the coq.discourse.group website.

Linked Hostnames

4

Thumbnail

Search Engine Appearance

Google

https://coq.discourse.group/c/coq-development/7

Developing the Coq system

Use this category for any question or discussion related to the development of the Coq software.



Bing

Developing the Coq system

https://coq.discourse.group/c/coq-development/7

Use this category for any question or discussion related to the development of the Coq software.



DuckDuckGo

https://coq.discourse.group/c/coq-development/7

Developing the Coq system

Use this category for any question or discussion related to the development of the Coq software.

  • General Meta Tags

    6
    • title
      Latest Developing the Coq system topics - Coq
    • charset
      utf-8
    • description
      Use this category for any question or discussion related to the development of the Coq software.
    • generator
      Discourse 3.4.0.beta3-dev - https://github.com/discourse/discourse version 16a96635570612029c1e4de3df052c0d53a83e09
    • theme-color
      #ffffff
  • Open Graph Meta Tags

    6
    • 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/c/coq-development/7
    • og:title
      Developing the Coq system
  • Twitter Meta Tags

    5
    • twitter:card
      summary
    • twitter:image
      https://canada1.discourse-cdn.com/free1/uploads/coq/original/1X/d6c87881afe17be6e590f96af1946f5e4d01948f.png
    • twitter:url
      https://coq.discourse.group/c/coq-development/7
    • twitter:title
      Developing the Coq system
    • twitter:description
      Use this category for any question or discussion related to the development of the Coq software.
  • Item Prop Meta Tags

    31
    • itemListOrder
      http://schema.org/ItemListOrderDescending
    • position
      1
    • position
      2
    • position
      3
    • position
      4
  • Link Tags

    30
    • alternate
      https://coq.discourse.group/posts.rss
    • alternate
      https://coq.discourse.group/latest.rss
    • alternate nofollow
      https://coq.discourse.group/c/coq-development/7.rss
    • apple-touch-icon
      https://canada1.discourse-cdn.com/free1/uploads/coq/optimized/1X/85bad3e1b237e58575d11441f4cdbb41ea003a20_2_180x180.png
    • canonical
      https://coq.discourse.group/c/coq-development/7

Links

78