arend-lang.github.io

Preview meta tags from the arend-lang.github.io website.

Linked Hostnames

6

Thumbnail

Search Engine Appearance

Google

https://arend-lang.github.io/

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.



Bing

Arend

https://arend-lang.github.io/

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.



DuckDuckGo

https://arend-lang.github.io/

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.

  • General Meta Tags

    4
    • title
      Arend - Arend Theorem Prover
    • charset
      utf-8
    • 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.
    • viewport
      width=device-width, initial-scale=1.0

  • Open Graph Meta Tags

    7
    • og:type
      website
    • US country flagog:locale
      en_US
    • og:site_name
      Arend Theorem Prover
    • og:title
      Arend
    • og:url
      http://localhost:4000/

  • Link Tags

    5
    • alternate
      /feed.xml
    • canonical
      http://localhost:4000/
    • next
      http://localhost:4000/page2
    • preload
      https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
    • stylesheet
      /assets/css/main.css

Links

20