Skip to content

proofs: add full-mode Agda checker and accurately record XP-1 recheck debt - #129

Closed
hyperpolymath wants to merge 12 commits into
mainfrom
proofs/agda-reconciliation-policy-2026-11
Closed

proofs: add full-mode Agda checker and accurately record XP-1 recheck debt#129
hyperpolymath wants to merge 12 commits into
mainfrom
proofs/agda-reconciliation-policy-2026-11

Commits

  1. Commits on Nov 1, 2026