A Lean library for machine-checked cryptographic proofs.
cryptography proof-assistant post-quantum-cryptography formal-verification lean4 program-logic game-hopping
-
Updated
Aug 10, 2026 - Lean