Repository navigation
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) #37
Triggered via pull request
September 23, 2026 00:28
coderabbitai[bot]
Status
Success
Total duration
2m 10s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
27s
Agda — CNO + OND
2m 5s
Z3 — CNO + OND bounded checks
15s
Lean — core CNO (6 modules + axiom audit)
50s