galois-1.gitbook.io/cryptol/get-started
Preview meta tags from the galois-1.gitbook.io website.
Linked Hostnames
7- 7 links togalois-1.gitbook.io
- 4 links tocdn.prod.website-files.com
- 1 link togalois.com
- 1 link togaloisinc.github.io
- 1 link toweaversa.github.io
- 1 link towww.gitbook.com
- 1 link towww.springer.com
Thumbnail
General Meta Tags
10- titleDocumentation | Galois Docs
- charsetutf-8
- viewportwidth=device-width, initial-scale=1, maximum-scale=1
- next-size-adjust
- color-schemedark
Open Graph Meta Tags
2- og:titleDocumentation | Galois Docs
- og:imagehttps://tools.galois.com/cryptol/~gitbook/ogimage/M3ZB4Pr2C8UUQW8ks5wG
Twitter Meta Tags
3- twitter:cardsummary_large_image
- twitter:titleDocumentation | Galois Docs
- twitter:imagehttps://tools.galois.com/cryptol/~gitbook/ogimage/M3ZB4Pr2C8UUQW8ks5wG
Link Tags
24- alternatehttps://tools.galois.com/cryptol/get-started/documentation.md
- canonicalhttps://tools.galois.com/cryptol/get-started/documentation
- iconhttps://tools.galois.com/cryptol/~gitbook/icon?size=small&theme=light
- iconhttps://tools.galois.com/cryptol/~gitbook/icon?size=small&theme=dark
- iconhttps://tools.galois.com/cryptol/~gitbook/icon?size=small&theme=light
Links
16- http://www.springer.com/engineering/circuits+&+systems/book/978-1-4419-1538-2
- https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/67783b41108a7f20652ac9db_empowering_the_experts.pdf
- https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c3dcf5de429e588c17875_Cryptol%20Case%20Study.pdf
- https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c3e237a1d1c47e020150e_Cryptol-%20High%20Assurance%2C%20Retargetable%20Crypto%20Development%20and%20Validation.pdf
- https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c422f88a92701db5a834d_ProgrammingCryptol.pdf