coq.inria.fr/about

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

Linked Hostnames

9

Thumbnail

Search Engine Appearance

Google

https://coq.inria.fr/about

About The Rocq Prover

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

Bing

About The Rocq Prover

https://coq.inria.fr/about

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

DuckDuckGo

https://coq.inria.fr/about

About The Rocq Prover

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

General Meta Tags
8
- title
  About The Rocq Prover
- charset
  utf-8
- viewport
  width=device-width, initial-scale=1, shrink-to-fit=no
- description
  Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.
- 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
  About The Rocq Prover
- og:description
  Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.
Twitter Meta Tags
3
- twitter:title
  About The Rocq Prover
- twitter:description
  Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.
- twitter:image
  https://rocq-prover.org/_/MzAzYTJmMmQzM2I5MWQ3YzQwZGUwYmM3OGU1MWI5ZTg/img/social/rocq-prover_org_social_media.png
Link Tags
7
- canonical
  https://rocq-prover.org/about
- icon
  /_/YTlhZTE1YTM5OGJkOGQ0MGQ0NDA2YjcwNmU4ODE3Yzc/logos/favicon.ico
- manifest
  /manifest.json
- search
  /opensearch.xml
- stylesheet
  /_/NmJlYjg2ZjJmMzkwZDBkOTFkMDcxZmZkODgzOTZiNDU/css/main.css

Links

43