EasyCrypt: Computer-Aided Cryptographic Proofs

by joko42on 3/7/2023, 1:42:50 PM with 3 comments
  • by _fluxon 3/9/2023, 11:20:59 AM

    Does this have any documentation, other than examples?

    EDIT: I found them from another repo: https://github.com/EasyCrypt/easycrypt-doc (which was linked from some issue, not from e.g. repository README..)

  • by yuedongzeon 3/9/2023, 8:58:42 AM

    Learning curve is real difficult

  • by webprofusionon 3/10/2023, 5:06:51 AM

    Lol, "Easy".