Skip to content

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

9f85f01
Select commit
Loading
Failed to load commit list.
Merged

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

docs: Phase 1 per-axiom triage of 72 Coq Axioms (proof-debt §c/§a/§b …
9f85f01
Select commit
Loading
Failed to load commit list.