Skip to content

docs(proofs): align Hypatia proof evidence with Agda reconciliation policy - #994

Merged
hyperpolymath merged 2 commits into
mainfrom
docs/agda-cross-kernel-proof-policy-20261101
Nov 1, 2026
Merged

docs(proofs): align Hypatia proof evidence with Agda reconciliation policy#994
hyperpolymath merged 2 commits into
mainfrom
docs/agda-cross-kernel-proof-policy-20261101

Update verification/PROOF-STATUS.adoc

8d4c1a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar