arend-lang.github.io/2022/02/08/New-IntelliJ-Arend-tutorial.html

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

Linked Hostnames

6

Search Engine Appearance

Google

https://arend-lang.github.io/2022/02/08/New-IntelliJ-Arend-tutorial.html

New IntelliJ Arend tutorial

There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem proving, make it more convenient and truly interactive!



Bing

New IntelliJ Arend tutorial

https://arend-lang.github.io/2022/02/08/New-IntelliJ-Arend-tutorial.html

There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem proving, make it more convenient and truly interactive!



DuckDuckGo

https://arend-lang.github.io/2022/02/08/New-IntelliJ-Arend-tutorial.html

New IntelliJ Arend tutorial

There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem proving, make it more convenient and truly interactive!

  • General Meta Tags

    5
    • title
      New IntelliJ Arend tutorial - Arend Theorem Prover
    • charset
      utf-8
    • description
      There is a new tutorial on interactive theorem proving with IntelliJ Arend. Check it out to learn about the features of IntelliJ Arend that speed-up theorem proving, make it more convenient and truly interactive!
    • article:published_time
      2022-02-08T00:00:00+01:00
    • viewport
      width=device-width, initial-scale=1.0

  • Open Graph Meta Tags

    6
    • og:type
      article
    • US country flagog:locale
      en_US
    • og:site_name
      Arend Theorem Prover
    • og:title
      New IntelliJ Arend tutorial
    • og:url
      http://localhost:4000/2022/02/08/New-IntelliJ-Arend-tutorial.html

  • Link Tags

    4
    • alternate
      /feed.xml
    • canonical
      http://localhost:4000/2022/02/08/New-IntelliJ-Arend-tutorial.html
    • preload
      https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
    • stylesheet
      /assets/css/main.css

Links

26