Skip to content
Proofs

chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale … #56

Sign in to view logs

chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale …

chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale … #56

Triggered via push October 1, 2026 14:59
@hyperpolymathhyperpolymath
pushed dba634a
main
Status Success
Total duration 1m 36s
Artifacts –

proofs.yml

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