[TC] Allow multiple type classes to define operators, axioms with the same unqualified name - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

318 stars 49 forks source link

[TC] Allow multiple type classes to define operators, axioms with the same unqualified name #514

Open fdupress opened 9 months ago