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

hyperpolymath merged 13 commits into

mainhyperpolymath/echidna:mainfrom

claude/loving-cannon-AtUSmhyperpolymath/echidna:claude/loving-cannon-AtUSmCopy head branch name to clipboard