Add tentative auto-generated EasyCrypt language documentation#976

strub wants to merge 2 commits into

mainEasyCrypt/easycrypt:mainfrom

doc-languageEasyCrypt/easycrypt:doc-languageCopy head branch name to clipboard