docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.idr#163

hyperpolymath merged 1 commit into

mainhyperpolymath/boj-server:mainfrom

claude/proof-debt-axiom-annotations-202605hyperpolymath/boj-server:claude/proof-debt-axiom-annotations-202605Copy head branch name to clipboard