www.caesarverifier.org

Preview meta tags from the www.caesarverifier.org website.

Linked Hostnames

7

Thumbnail

Search Engine Appearance

Google

https://www.caesarverifier.org/

Caesar Verification Infrastructure | Caesar

Verify probabilistic programs with Caesar, a deductive verifier built on the HeyVL intermediate verification language.



Bing

Caesar Verification Infrastructure | Caesar

https://www.caesarverifier.org/

Verify probabilistic programs with Caesar, a deductive verifier built on the HeyVL intermediate verification language.



DuckDuckGo

https://www.caesarverifier.org/

Caesar Verification Infrastructure | Caesar

Verify probabilistic programs with Caesar, a deductive verifier built on the HeyVL intermediate verification language.

  • General Meta Tags

    9
    • title
      Caesar Verification Infrastructure | Caesar
    • charset
      UTF-8
    • generator
      Docusaurus v3.8.1
    • viewport
      width=device-width,initial-scale=1
    • docusaurus_locale
      en

  • Open Graph Meta Tags

    5
    • og:image
      https://www.caesarverifier.org/img/social-card.png
    • og:url
      https://www.caesarverifier.org/
    • og:locale
      en
    • og:title
      Caesar Verification Infrastructure | Caesar
    • og:description
      Verify probabilistic programs with Caesar, a deductive verifier built on the HeyVL intermediate verification language.

  • Twitter Meta Tags

    2
    • twitter:card
      summary_large_image
    • twitter:image
      https://www.caesarverifier.org/img/social-card.png

  • Link Tags

    10
    • alternate
      /blog/rss.xml
    • alternate
      /blog/atom.xml
    • canonical
      https://www.caesarverifier.org/
    • icon
      /img/laurel-square.svg
    • preconnect
      https://Q93W1TPDIE-dsn.algolia.net

  • Website Locales

    2
    • EN country flagen
      https://www.caesarverifier.org/
    • DEFAULT country flagx-default
      https://www.caesarverifier.org/

Links

22