discourse.rocq-prover.org

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

Linked Hostnames

3

Thumbnail

Search Engine Appearance

Google

https://discourse.rocq-prover.org/

Rocq Prover

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



Bing

Rocq Prover

https://discourse.rocq-prover.org/

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



DuckDuckGo

https://discourse.rocq-prover.org/

Rocq Prover

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

  • General Meta Tags

    7
    • title
      Rocq Prover - The Rocq Prover user and developer forum.
    • charset
      utf-8
    • description
      The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.
    • generator
      Discourse 3.5.0.beta7-dev - https://github.com/discourse/discourse version 7227d714cce6f31b3917ffe79cb90ce9d34a16fd
    • 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/
    • og:title
      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/
    • twitter:title
      Rocq Prover
    • twitter:description
      The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.
  • Item Prop Meta Tags

    21
    • itemListOrder
      http://schema.org/ItemListOrderDescending
    • position
      0
    • url
      /c/using-rocq/5
    • position
      1
    • url
      /c/plugin-development/6
  • Link Tags

    24
    • apple-touch-icon
      https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png
    • canonical
      https://discourse.rocq-prover.org/
    • icon
      https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/7/77e7c8a8792c0834aba528ad564e0661585f90f8_2_32x32.png
    • search
      https://discourse.rocq-prover.org/opensearch.xml
    • stylesheet
      https://sea1.discourse-cdn.com/flex001/stylesheets/color_definitions_base__3_072733a309f838fcb24b212d6be0515baa59f250.css?__ws=discourse.rocq-prover.org

Links

22