A Lean library for machine-checked cryptographic proofs.
Lean
155
577 commits
updated Sep 23, 2026
cryptography
formal-verification
game-hopping
lean4
post-quantum-cryptography
program-logic
proof-assistant
Contributors
Languages
Lean
98.1%
A Lean library for machine-checked cryptographic proofs.
Lean
155
577 commits
updated Sep 23, 2026
cryptography
formal-verification
game-hopping
lean4
post-quantum-cryptography
program-logic
proof-assistant
Contributors
Languages
Lean
98.1%