arend-lang.github.io/about/intellij-features
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
6- 31 links toarend-lang.github.io
- 1 link togithub.com
- 1 link tojekyllrb.com
- 1 link tolocalhost
- 1 link tomademistakes.com
- 1 link totwitter.com
Search Engine Appearance
https://arend-lang.github.io/about/intellij-features
IntelliJ Arend Features
The Arend Theorem Prover
Bing
IntelliJ Arend Features
https://arend-lang.github.io/about/intellij-features
The Arend Theorem Prover
DuckDuckGo
https://arend-lang.github.io/about/intellij-features
IntelliJ Arend Features
The Arend Theorem Prover
General Meta Tags
4- titleIntelliJ Arend Features - Arend Theorem Prover
- charsetutf-8
- descriptionThe Arend Theorem Prover
- viewportwidth=device-width, initial-scale=1.0
Open Graph Meta Tags
6- og:typewebsite
og:localeen_US- og:site_nameArend Theorem Prover
- og:titleIntelliJ Arend Features
- og:urlhttp://localhost:4000/about/intellij-features.html
Item Prop Meta Tags
1- headlineIntelliJ Arend Features
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/about/intellij-features.html
- preloadhttps://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
- stylesheet/assets/css/main.css
Links
36- http://localhost:4000
- https://arend-lang.github.io
- https://arend-lang.github.io/about
- https://arend-lang.github.io/about//intellij-features/NormalizeExpr.gif
- https://arend-lang.github.io/about//intellij-features/ShowExpr.gif
