formal.land
Preview meta tags from the formal.land website.
Linked Hostnames
22- 9 links toformal.land
- 7 links togithub.com
- 2 links tosui.io
- 1 link toalephzero.org
- 1 link tobsky.app
- 1 link tocalendly.com
- 1 link tocode.visualstudio.com
- 1 link toen.wikipedia.org
Thumbnail
Search Engine Appearance
https://formal.land/
Innovative technologies to make code without bugs | Formal Land
Innovative technologies to make code without bugs
Bing
Innovative technologies to make code without bugs | Formal Land
https://formal.land/
Innovative technologies to make code without bugs
DuckDuckGo
https://formal.land/Innovative technologies to make code without bugs | Formal Land
Innovative technologies to make code without bugs
General Meta Tags
9- titleInnovative technologies to make code without bugs | Formal Land
- charsetUTF-8
- generatorDocusaurus v3.1.1
- viewportwidth=device-width,initial-scale=1
- docusaurus_localeen
Open Graph Meta Tags
5- og:imagehttps://formal.land/img/land-512.png
- og:urlhttps://formal.land/
- og:localeen
- og:titleInnovative technologies to make code without bugs | Formal Land
- og:descriptionInnovative technologies to make code without bugs
Twitter Meta Tags
2- twitter:cardsummary_large_image
- twitter:imagehttps://formal.land/img/land-512.png
Link Tags
6- alternate/blog/rss.xml
- alternate/blog/atom.xml
- canonicalhttps://formal.land/
- icon/img/land-512.png
- stylesheethttps://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css
Website Locales
2
enhttps://formal.land/
x-defaulthttps://formal.land/
Emails
1Links
37- https://alephzero.org
- https://bsky.app/profile/formalland.bsky.social
- https://calendly.com/guillaume-claret
- https://code.visualstudio.com
- https://en.wikipedia.org/wiki/Calculus_of_constructions