PQXDH Lean Formalization

Formal verification of the Post-Quantum Extended Diffie-Hellman protocol

• X3DH in Lean — Documentation Protocol specification with verified code examples
• Call Graph Interactive dependency and verification status viewer

Source on GitHub