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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
4s
4s