“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”<p><a href="https://twitter.com/signalapp/status/1715443920350416922" rel="nofollow noreferrer">https://twitter.com/signalapp/status/1715443920350416922</a>