Repository navigation

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

Commits on Nov 1, 2026
- docs(proofs): align Hypatia status with Agda and cross-kernel evidence policy
  hyperpolymath
  committed
  8b4326a
- Update verification/PROOF-STATUS.adoc
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  8d4c1a0