arend-lang.github.io/arend-lib
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
6- 7 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/arend-lib
Documentation for the Arend standard library
The Arend Theorem Prover
Bing
Documentation for the Arend standard library
https://arend-lang.github.io/arend-lib
The Arend Theorem Prover
DuckDuckGo
https://arend-lang.github.io/arend-lib
Documentation for the Arend standard library
The Arend Theorem Prover
General Meta Tags
4- titleDocumentation for the Arend standard library - 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:titleDocumentation for the Arend standard library
- og:urlhttp://localhost:4000/arend-lib/
Item Prop Meta Tags
1- headlineDocumentation for the Arend standard library
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/arend-lib/
- preloadhttps://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
- stylesheet/assets/css/main.css
Links
12- 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/assets/images/BaseSet-v1.10.0.svg
