docs: Phase 1 per-axiom triage of 72 Coq Axioms#58

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

docs/proof-debt-triage-2026-05-27hyperpolymath/absolute-zero:docs/proof-debt-triage-2026-05-27Copy head branch name to clipboard