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