Skip to content
Proofs

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #49

Sign in to view logs

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #49

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coq — CNO + OND (14 theories)
1m 9s
Z3 — CNO + OND bounded checks
18s
Lean — core CNO (6 modules + axiom audit)
15s
Agda — CNO + OND
1m 42s
3m 24s