fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #33
Triggered via pull request
September 22, 2026 23:04
coderabbitai[bot]
Status
Success
Total duration
1m 45s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
45s
Agda — CNO + OND
1m 40s
Z3 — CNO + OND bounded checks
20s
Lean — core CNO (6 modules + axiom audit)
19s