refactor(pl): proc as recheckable per-logic rules - #1192

refactor(pl): proc as recheckable per-logic rules#1192

strub wants to merge 1 commit into

pl/rewriteEasyCrypt/easycrypt:pl/rewritefrom

pl/funEasyCrypt/easycrypt:pl/funCopy head branch name to clipboard