Skip to content
Proofs

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #52

Sign in to view logs

fix(proofs): census reads logical roots from _CoqProject; restore Fil…

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #52

Triggered via push October 1, 2026 12:49
@hyperpolymathhyperpolymath
pushed f486c29
main
Status Success
Total duration 2m 30s
Artifacts –

proofs.yml

on: push
Coq — CNO + OND (14 theories)
1m 11s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
2m 25s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
16s
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