title

Formosa Crypto | The Formosa project federates multiple tools and projects in machine-checked cryptography and high-assurance cryptographic engineering under a single banner, to better support developers and users.

charset

utf-8

X-UA-Compatible

IE=edge

viewport

width=device-width, initial-scale=1

generator

Jekyll v4.3.4

og:title

Formosa Crypto

og:locale

en_US

og:description

The Formosa project federates multiple tools and projects in machine-checked cryptography and high-assurance cryptographic engineering under a single banner, to better support developers and users.

og:url

https://formosa-crypto.org/

og:site_name

Formosa Crypto

twitter:card

summary

alternate

https://formosa-crypto.org/feed.xml

canonical

https://formosa-crypto.org/

shortcut icon

/favicon.png

stylesheet

https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css

stylesheet

/assets/css/style.css