arend-lang.github.io/documentation/getting-started
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
7- 30 links toarend-lang.github.io
- 1 link togithub.com
- 1 link tojekyllrb.com
- 1 link tolocalhost
- 1 link tomademistakes.com
- 1 link totwitter.com
- 1 link towww.jetbrains.com
Search Engine Appearance
https://arend-lang.github.io/documentation/getting-started
Getting Started
The Arend Theorem Prover
Bing
Getting Started
https://arend-lang.github.io/documentation/getting-started
The Arend Theorem Prover
DuckDuckGo
https://arend-lang.github.io/documentation/getting-started
Getting Started
The Arend Theorem Prover
General Meta Tags
4- titleGetting Started - 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:titleGetting Started
- og:urlhttp://localhost:4000/documentation/getting-started.html
Item Prop Meta Tags
1- headlineGetting Started
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/documentation/getting-started.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/arend-lib
- https://arend-lang.github.io/documentation