Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
proof-debt/abszero-tier-a-axiom-discharge
May 20, 2026
Merged

proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…#32
hyperpolymath merged 1 commit into
mainfrom
proof-debt/abszero-tier-a-axiom-discharge

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

a7de17d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar