arend-lang.zulipchat.com

Preview meta tags from the arend-lang.zulipchat.com website.

Linked Hostnames

11

Thumbnail

Search Engine Appearance

Google

https://arend-lang.zulipchat.com/

Arend

Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. | https://arend-lang.github.io



Bing

Arend

https://arend-lang.zulipchat.com/

Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. | https://arend-lang.github.io



DuckDuckGo

https://arend-lang.zulipchat.com/

Arend

Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. | https://arend-lang.github.io

  • General Meta Tags

    4
    • title
      Log in | Zulip
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1.0
    • robots
      noindex,nofollow

  • Open Graph Meta Tags

    6
    • og:url
      https://arend-lang.zulipchat.com/login/
    • og:type
      website
    • og:site_name
      Zulip
    • og:title
      Arend
    • og:description
      Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. | https://arend-lang.github.io

  • Twitter Meta Tags

    1
    • twitter:card
      summary

  • Link Tags

    7
    • alternate icon
      https://static.zulipchat.com/static/images/favicon.png?v=4
    • icon
      https://static.zulipchat.com/static/images/favicon.svg?v=4
    • stylesheet
      https://static.zulipchat.com/static/webpack-bundles/492.9f44831e3011e72ee00c.css
    • stylesheet
      https://static.zulipchat.com/static/webpack-bundles/79.517ffd9b4293a6cc76e9.css
    • stylesheet
      https://static.zulipchat.com/static/webpack-bundles/724.f0da47e1ee6ebed9a205.css

Links

49