fix(clone): no quadratic check of proved lemmas in theory overrides - #1208

fix(clone): no quadratic check of proved lemmas in theory overrides#1208

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix/clone-override-quadraticEasyCrypt/easycrypt:fix/clone-override-quadraticCopy head branch name to clipboard