refactor(pl): true, zero and exfalso as recheckable per-logic rules - #1159

refactor(pl): true, zero and exfalso as recheckable per-logic rules#1159

strub wants to merge 1 commit into

pl/skipEasyCrypt/easycrypt:pl/skipfrom

pl/true-zero-exfalsoEasyCrypt/easycrypt:pl/true-zero-exfalsoCopy head branch name to clipboard