discourse.rocq-prover.org/c/rocq-development/7

Preview meta tags from the discourse.rocq-prover.org website.

Linked Hostnames

3

Thumbnail

Search Engine Appearance

Google

https://discourse.rocq-prover.org/c/rocq-development/7

Developing the Rocq Prover

Use this category for any question or discussion related to the development of the Rocq Prover.



Bing

Developing the Rocq Prover

https://discourse.rocq-prover.org/c/rocq-development/7

Use this category for any question or discussion related to the development of the Rocq Prover.



DuckDuckGo

https://discourse.rocq-prover.org/c/rocq-development/7

Developing the Rocq Prover

Use this category for any question or discussion related to the development of the Rocq Prover.

  • General Meta Tags

    7
    • title
      Latest Developing the Rocq Prover topics - Rocq Prover
    • charset
      utf-8
    • description
      Use this category for any question or discussion related to the development of the Rocq Prover.
    • generator
      Discourse 3.5.0.beta8-dev - https://github.com/discourse/discourse version a66b10cc16bc8395dddb4034ef35c6f98dbdfbc9
    • theme-color
      #fff

  • Open Graph Meta Tags

    6
    • og:site_name
      Rocq Prover
    • og:type
      website
    • og:image
      https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png
    • og:url
      https://discourse.rocq-prover.org/c/rocq-development/7
    • og:title
      Developing the Rocq Prover

  • Twitter Meta Tags

    5
    • twitter:card
      summary
    • twitter:image
      https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png
    • twitter:url
      https://discourse.rocq-prover.org/c/rocq-development/7
    • twitter:title
      Developing the Rocq Prover
    • twitter:description
      Use this category for any question or discussion related to the development of the Rocq Prover.

  • Item Prop Meta Tags

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

  • Link Tags

    28
    • alternate
      https://discourse.rocq-prover.org/posts.rss
    • alternate
      https://discourse.rocq-prover.org/latest.rss
    • alternate nofollow
      https://discourse.rocq-prover.org/c/rocq-development/7.rss
    • apple-touch-icon
      https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png
    • canonical
      https://discourse.rocq-prover.org/c/rocq-development/7

Links

78