GitHub repository: sitedata/easycrypt
Description: EasyCrypt: Computer-Aided Cryptographic Proofs