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

docs(proofs): name the detectors the ordering bug reaches; refresh re…

4db2497
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar