“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”

https://twitter.com/signalapp/status/1715443920350416922