Skip to content

fix(proofs+ci): repair proof corpus, unbreak Agda CI, and gate every proof in CI - #234

Merged
hyperpolymath merged 13 commits into
mainfrom
claude/loving-cannon-AtUSm
Jun 6, 2026
Merged

fix(proofs+ci): repair proof corpus, unbreak Agda CI, and gate every proof in CI#234
hyperpolymath merged 13 commits into
mainfrom
claude/loving-cannon-AtUSm

Commits

  1. Commits on Jun 5, 2026

  2. Commits on Jun 6, 2026