EasyCrypt: Computer-Aided Cryptographic Proofs - View it on GitHub