proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + refactor#26

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