gitlab.com/sosy-lab/benchmarking/sv-witnesses

Preview meta tags from the gitlab.com website.

Linked Hostnames

3

Thumbnail

Search Engine Appearance

Google

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses

SoSy-Lab / Benchmarking / SV-Witnesses · GitLab

An Exchange Format for Verification Witnesses



Bing

SoSy-Lab / Benchmarking / SV-Witnesses · GitLab

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses

An Exchange Format for Verification Witnesses



DuckDuckGo

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses

SoSy-Lab / Benchmarking / SV-Witnesses · GitLab

An Exchange Format for Verification Witnesses

  • General Meta Tags

    14
    • title
      SoSy-Lab / Benchmarking / SV-Witnesses · 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
      SoSy-Lab / Benchmarking / SV-Witnesses · GitLab
    • og:description
      An Exchange Format for Verification Witnesses
    • og:image
      https://gitlab.com/assets/twitter_card-570ddb06edf56a2312253c5872489847a0f385112ddbcd71ccfa1570febab5d2.jpg

  • Link Tags

    25
    • alternate
      /sosy-lab/benchmarking/sv-witnesses.atom
    • apple-touch-icon
      /assets/apple-touch-icon-b049d4bc0dd9626f31db825d61880737befc7835982586d015bded10b4435460.png
    • icon
      /assets/favicon-72a2cad5025aa931d6ea56c3201d1f18e68a8cd39788c7c80d5b2b82aa5143ef.png
    • manifest
      /-/manifest.json
    • preconnect
      https://snowplowprd.trx.gitlab.net

Links

14