/lean-prover-one-time-pad

Proof of perfect secrecy of the one-time pad using Lean

Primary LanguageLeanMIT LicenseMIT

Watchers