Repository navigation
fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #40
Triggered via pull request
September 26, 2026 19:50
arena-ai-coding-agent[bot]
Status
Failure
Total duration
1m 50s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
43s
Agda — CNO + OND
1m 47s
Z3 — CNO + OND bounded checks
17s
Lean — core CNO (6 modules + axiom audit)
16s
Annotations
2 errors
|
Lean — core CNO (6 modules + axiom audit)
Process completed with exit code 1.
|
|
Coq — CNO + OND (14 theories)
Process completed with exit code 1.
|