Does this have any documentation, other than examples? EDIT: I found them from another repo: https://github.com/EasyCrypt/easycrypt-doc https://github.com/Easy

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