Repository navigation

ci(proofs): gate the Lean 4 verification corpus (verification/proofs/lean4) - #275

Merged

hyperpolymath merged 13 commits into

mainfrom

claude/loving-cannon-AtUSm

Jun 21, 2026

Merged

ci(proofs): gate the Lean 4 verification corpus (verification/proofs/lean4)#275
hyperpolymath merged 13 commits into
mainfrom
claude/loving-cannon-AtUSm

Commits on Jun 5, 2026
Commits on Jun 21, 2026
- merge: bring loving-cannon up to origin/main (absorb merged #256-#274)
  claude
  committed
  5710743
- ci(proofs): gate Lean 4 verification corpus (verification/proofs/lean4)
  claude
  committed
  658751d