Check equality of expressions up to convertibility#996

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-990EasyCrypt/easycrypt:fix-990Copy head branch name to clipboard