gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/master/README.md

Preview meta tags from the gitlab.mpi-sws.org website.

Linked Hostnames

1

10 links to
gitlab.mpi-sws.org

Thumbnail

Search Engine Appearance

Google

https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/master/README.md

README.md · master · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

Bing

README.md · master · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/master/README.md

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

DuckDuckGo

https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/master/README.md

README.md · master · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

General Meta Tags
14
- title
  README.md · master · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab
- charset
  utf-8
- X-UA-Compatible
  IE=edge
- viewport
  width=device-width, initial-scale=1
- twitter:card
  summary
Open Graph Meta Tags
8
- og:type
  object
- og:site_name
  GitLab
- og:title
  README.md · master · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab
- og:description
  The main Coq development of the Prosa project: http://prosa.mpi-sws.org
- og:image
  https://gitlab.mpi-sws.org/assets/twitter_card-570ddb06edf56a2312253c5872489847a0f385112ddbcd71ccfa1570febab5d2.jpg
Link Tags
18
- apple-touch-icon
  /assets/apple-touch-icon-b049d4bc0dd9626f31db825d61880737befc7835982586d015bded10b4435460.png
- icon
  /assets/favicon-72a2cad5025aa931d6ea56c3201d1f18e68a8cd39788c7c80d5b2b82aa5143ef.png
- manifest
  /-/manifest.json
- prefetch
  /assets/webpack/monaco.9460efd8.chunk.js
- preload
  /assets/application_utilities-f77f86f78d4146d4c2c821bc481cee77b897df284886ad189d8dcb1234cb9651.css

Links

10