Extract module kmir._prove - #920

Extract module kmir._prove#920

automergerpr-permission-manager[bot] merged 6 commits into

masterruntimeverification/mir-semantics:masterfrom

extract-module-proveruntimeverification/mir-semantics:extract-module-proveCopy head branch name to clipboard