refactor(pl): wp as recheckable per-logic rules - #1163

refactor(pl): wp as recheckable per-logic rules#1163

strub wants to merge 1 commit into

pl/spEasyCrypt/easycrypt:pl/spfrom

pl/wpEasyCrypt/easycrypt:pl/wpCopy head branch name to clipboard