Repository navigation
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) #35
Triggered via pull request
September 23, 2026 00:12
hyperpolymath
Status
Success
Total duration
1m 45s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
26s
Agda — CNO + OND
1m 40s
Z3 — CNO + OND bounded checks
15s
Lean — core CNO (6 modules + axiom audit)
17s