arend-lang.github.io/about
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
10- 10 links toarend-lang.github.io
- 1 link toen.wikibooks.org
- 1 link togithub.com
- 1 link tohomotopytypetheory.org
- 1 link tojekyllrb.com
- 1 link tolocalhost
- 1 link tomademistakes.com
- 1 link toncatlab.org
Search Engine Appearance
https://arend-lang.github.io/about
About
The Arend Theorem Prover
Bing
About
https://arend-lang.github.io/about
The Arend Theorem Prover
DuckDuckGo
https://arend-lang.github.io/about
About
The Arend Theorem Prover
General Meta Tags
4- titleAbout - 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:titleAbout
- og:urlhttp://localhost:4000/about/
Item Prop Meta Tags
1- headlineAbout
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/about/
- preloadhttps://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
- stylesheet/assets/css/main.css
Links
19- http://localhost:4000
- https://arend-lang.github.io
- https://arend-lang.github.io/about
- https://arend-lang.github.io/about/intellij-features
- https://arend-lang.github.io/arend-lib