Skip to content

fix(abi): repair the Idris2 proofs and record proof status against the policy - #277

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/proof-status-reconcile
Open

fix(abi): repair the Idris2 proofs and record proof status against the policy#277
hyperpolymath wants to merge 4 commits into
mainfrom
claude/proof-status-reconcile

Commits

  1. Commits on Nov 9, 2026