Additional quotient theory with user provided canon map#1058

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

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