leanprover.zulipchat.com

Preview meta tags from the leanprover.zulipchat.com website.

Linked Hostnames

1

Thumbnail

  • General Meta Tags

    4
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no
    • robots
      noindex,nofollow
    • apple-mobile-web-app-capable
      yes
  • Open Graph Meta Tags

    4
    • og:url
      https://leanprover.zulipchat.com/
    • og:type
      website
    • og:site_name
      Zulip
    • og:image
      https://avatars.zulip.com/3121/realm/icon.png?version=2
  • Twitter Meta Tags

    1
    • twitter:card
      summary
  • Link Tags

    9
    • alternate icon
      https://static.zulipchat.com/static/images/favicon.png?v=4
    • apple-touch-icon-precomposed
      https://static.zulipchat.com/static/images/logo/apple-touch-icon-precomposed.png
    • dns-prefetch
      https://secure.gravatar.com
    • dns-prefetch
      https://avatars.zulip.com
    • icon
      https://static.zulipchat.com/static/images/favicon.svg?v=4

Links

1