Skip to content

docs(proof-status): absolute-zero multi-prover verification — Coq 13/13 + Agda 3/3 - #84

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/hopeful-babbage-pn0l4o
Jun 18, 2026
Merged

docs(proof-status): absolute-zero multi-prover verification — Coq 13/13 + Agda 3/3#84
hyperpolymath merged 1 commit into
mainfrom
claude/hopeful-babbage-pn0l4o

docs(proof-status): absolute-zero multi-prover verification — Coq 13/…

db0dc53
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jun 18, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.