The English edition is being prepared.

Google DeepMind Uses AI to Formally Prove Signal's Encryption Is Secure