WF cleanup + example - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed alleystoughton closed 8 months ago

alleystoughton commented 9 months ago

Added example usage of WF.ec, plus various cleanups, including standardizing terminology. (Name changes only on internal operator and lemma.)

strub commented 8 months ago

Please, clean-up the history before merging.