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

ci(workflows): pin actions-lock v0.4.0 for v0.0.3 manifest verification

6a04009
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar