Building Confidence in Cryptographic Protocols

https://blog.cloudflare.com/post-quantum-formal-analysis/