Axioms should be explicitly marked as global in sections - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Axioms should be explicitly marked as global in sections #482

Open strub opened 11 months ago