Skip to content
Language Policy Enforcement

docs: Phase 1 per-axiom triage of 72 Coq Axioms (proof-debt §c/§a/§b … #195

Sign in to view logs

docs: Phase 1 per-axiom triage of 72 Coq Axioms (proof-debt §c/§a/§b …

docs: Phase 1 per-axiom triage of 72 Coq Axioms (proof-debt §c/§a/§b … #195

Triggered via push May 27, 2026 07:47
@hyperpolymathhyperpolymath
pushed 9f85f01
docs/proof-debt-triage-2026-05-27
Status Success
Total duration 26m 5s
Artifacts –

language-policy.yml

on: push
check
4s
check
Fit to window
Zoom out
Zoom in