Does this have any documentation, other than examples?<p>EDIT: I found them from another repo: <a href="https://github.com/EasyCrypt/easycrypt-doc">https://github.com/EasyCrypt/easycrypt-doc</a> (which was linked from some issue, not from e.g. repository README..)