Skip to content
Proofs

fix: resolve repository issues, port Lean FilesystemCNO, and unify Co… #41

Sign in to view logs

fix: resolve repository issues, port Lean FilesystemCNO, and unify Co…

fix: resolve repository issues, port Lean FilesystemCNO, and unify Co… #41

Triggered via push September 26, 2026 20:45
@hyperpolymathhyperpolymath
pushed b7c780f
main
Status Failure
Total duration 2m 0s
Artifacts –

proofs.yml

on: push
Coq — CNO + OND (14 theories)
26s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
1m 44s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
15s
Z3 — CNO + OND bounded checks
Lean — core CNO (6 modules + axiom audit)
14s
Lean — core CNO (6 modules + axiom audit)
Fit to window
Zoom out
Zoom in

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.