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..)