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.
GitHub Advanced Security / Hypatia succeeded May 21, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.