coq.inria.fr/academic-users

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

Linked Hostnames

15

Thumbnail

Search Engine Appearance

Google

https://coq.inria.fr/academic-users

Academic Users of the Rocq Prover

The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.



Bing

Academic Users of the Rocq Prover

https://coq.inria.fr/academic-users

The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.



DuckDuckGo

https://coq.inria.fr/academic-users

Academic Users of the Rocq Prover

The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.

  • General Meta Tags

    8
    • title
      Academic Users of the Rocq Prover
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1, shrink-to-fit=no
    • description
      The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.
    • 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
      Academic Users of the Rocq Prover
    • og:description
      The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.

  • Twitter Meta Tags

    3
    • twitter:title
      Academic Users of the Rocq Prover
    • twitter:description
      The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic roots of the language.
    • twitter:image
      https://rocq-prover.org/_/MzAzYTJmMmQzM2I5MWQ3YzQwZGUwYmM3OGU1MWI5ZTg/img/social/rocq-prover_org_social_media.png

  • Link Tags

    9
    • alternate
      /planet.xml
    • canonical
      https://rocq-prover.org/academic-users
    • icon
      /_/YTlhZTE1YTM5OGJkOGQ0MGQ0NDA2YjcwNmU4ODE3Yzc/logos/favicon.ico
    • manifest
      /manifest.json
    • search
      /opensearch.xml

Links

47