GitHub repository: mfxrhxn/easycrypt
Primary language: OCaml
Description: EasyCrypt: Computer-Aided Cryptographic Proofs