Repository navigation

fix(proofs): restore the proof gate (dedupe allTake, read idris2 pin, run on every PR) - #350

Merged

hyperpolymath merged 2 commits into

mainfrom

Oct 7, 2026

Commits on Oct 7, 2026
- fix(proofs): restore the proof gate — dedupe allTake, read the idris2 pin, run on every PR
  
  hyperpolymath
  and
  claude
  committed
  ec79cd6
- Merge branch 'main' into fix/proof-gate
  hyperpolymath
  authored
  740b4b2