EasyCrypt: Computer-Aided Cryptographic Proofs
☆382Updated this week
Alternatives and similar repositories for easycrypt
Users that are interested in easycrypt are comparing it to the libraries listed below
Sorting:
- Language for high-assurance and high-speed cryptography☆331Updated this week
- CertiCrypt Coq Framework