chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers #55
hyperpolymathproofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
1m 16s
Agda — CNO + OND
1m 47s
Z3 — CNO + OND bounded checks
21s
Lean — core CNO (6 modules + axiom audit)
15s