EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
340Updated this week

Alternatives and similar repositories for easycrypt:

Users that are interested in easycrypt are comparing it to the libraries listed below