formalabstracts.github.io
Preview meta tags from the formalabstracts.github.io website.
Linked Hostnames
6- 2 links togithub.com
- 2 links tojiggerwit.wordpress.com
- 2 links towww.newton.ac.uk
- 1 link toformalabstracts.github.io
- 1 link toleanprover.github.io
- 1 link tosites.google.com
General Meta Tags
5- titleFormal Abstracts
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- generatorJekyll v3.8.5
Open Graph Meta Tags
4- og:titleFormal Abstracts
og:localeen_US- og:urlhttps://formalabstracts.github.io/
- og:site_nameFormal Abstracts
Link Tags
5- canonicalhttps://formalabstracts.github.io/
- icon/favicon-32x32.png
- icon/favicon-96x96.png
- icon/favicon-16x16.png
- stylesheet/assets/css/style.css?v=4334eeb3c477fe7a287ddfca6b45c91ad5501694
Links
9- https://formalabstracts.github.io
- https://github.com/formalabstracts/formalabstracts
- https://github.com/orderedlist
- https://jiggerwit.wordpress.com/2018/03/28/formal-abstracts-in-mathematics
- https://jiggerwit.wordpress.com/2018/04/09/formal-abstracts-a-long-term-vision