feat(pl): recheckable proof-nodes for program-logic rules - #1154

feat(pl): recheckable proof-nodes for program-logic rules#1154

strub wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

pl/recheck-basisEasyCrypt/easycrypt:pl/recheck-basisCopy head branch name to clipboard