coq.inria.fr/community

Preview meta tags from the coq.inria.fr website.

Linked Hostnames

9

Thumbnail

Search Engine Appearance

Google

https://coq.inria.fr/community

The Rocq Community

Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!



Bing

The Rocq Community

https://coq.inria.fr/community

Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!



DuckDuckGo

https://coq.inria.fr/community

The Rocq Community

Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!

  • General Meta Tags

    8
    • title
      The Rocq Community
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1, shrink-to-fit=no
    • description
      Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!
    • og:image
      https://rocq-prover.org/_/MzAzYTJmMmQzM2I5MWQ3YzQwZGUwYmM3OGU1MWI5ZTg/img/social/rocq-prover_org_social_media.png

  • Open Graph Meta Tags

    4
    • og:site_name
      Rocq
    • og:type
      object
    • og:title
      The Rocq Community
    • og:description
      Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!

  • Twitter Meta Tags

    3
    • twitter:title
      The Rocq Community
    • twitter:description
      Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to engage with people from the community!
    • twitter:image
      https://rocq-prover.org/_/MzAzYTJmMmQzM2I5MWQ3YzQwZGUwYmM3OGU1MWI5ZTg/img/social/rocq-prover_org_social_media.png

  • Link Tags

    7
    • canonical
      https://rocq-prover.org/community
    • icon
      /_/YTlhZTE1YTM5OGJkOGQ0MGQ0NDA2YjcwNmU4ODE3Yzc/logos/favicon.ico
    • manifest
      /manifest.json
    • search
      /opensearch.xml
    • stylesheet
      /_/NmJlYjg2ZjJmMzkwZDBkOTFkMDcxZmZkODgzOTZiNDU/css/main.css

Links

42