Repository navigation

Language Policy Enforcement

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

Sign in to view logs

Triggered via pull request May 27, 2026 07:47

opened #58

docs/proof-debt-triage-2026-05-27

Status Success

Total duration 27m 22s

Artifacts –

language-policy.yml

on: pull_request