arend-lang.github.io/documentation
Preview meta tags from the arend-lang.github.io website.
Linked Hostnames
11- 31 links toarend-lang.github.io
- 1 link toarend-lang.zulipchat.com
- 1 link togithub.com
- 1 link togitter.im
- 1 link togroups.google.com
- 1 link tojekyllrb.com
- 1 link tolocalhost
- 1 link tomademistakes.com
Search Engine Appearance
https://arend-lang.github.io/documentation
Documentation
The Arend Theorem Prover
Bing
Documentation
https://arend-lang.github.io/documentation
The Arend Theorem Prover
DuckDuckGo
https://arend-lang.github.io/documentation
Documentation
The Arend Theorem Prover
General Meta Tags
4- titleDocumentation - 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
- og:urlhttp://localhost:4000/documentation/
Item Prop Meta Tags
1- headlineDocumentation
Link Tags
4- alternate/feed.xml
- canonicalhttp://localhost:4000/documentation/
- preloadhttps://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css
- stylesheet/assets/css/main.css
Links
41- 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/lang-paper.pdf