Language Policy Enforcement

docs(proof): correct stale proof-status; disclose axiom dependence (#94) #276

Sign in to view logs

Triggered via push June 29, 2026 13:04

main

Status Success

Total duration 42s

Artifacts –

language-policy.yml

on: push