proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…#31

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

proof-debt/abszero-tier-a-axiom-dischargehyperpolymath/absolute-zero:proof-debt/abszero-tier-a-axiom-dischargeCopy head branch name to clipboard