GitHub repository: EasyCrypt/easycrypt
Primary language: OCaml
Created: 2015-04-30T09:21:39Z
Description: EasyCrypt: Computer-Aided Cryptographic Proofs