Skip to content

ABI: make Idris2 proofs genuinely compile + add machine-checked theorems#33

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/iseriser-proofs-review-rtdcwb
Jun 26, 2026
Merged

ABI: make Idris2 proofs genuinely compile + add machine-checked theorems#33
hyperpolymath merged 4 commits into
mainfrom
claude/iseriser-proofs-review-rtdcwb

Merge branch 'main' into claude/iseriser-proofs-review-rtdcwb

575a401
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jun 26, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.