Migrate MSet to use quotients to eliminate axioms#1061

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

migrate-to-quotientEasyCrypt/easycrypt:migrate-to-quotientCopy head branch name to clipboard