from Hacker News

EasyCrypt: Computer-Aided Cryptographic Proofs

by joko42 on 3/7/23, 1:42 PM with 5 comments

• by _flux on 3/9/23, 11:20 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 yuedongze on 3/9/23, 8:58 AM

  Learning curve is real difficult

• by webprofusion on 3/10/23, 5:06 AM

  Lol, "Easy".