Repository navigation

coq-proofs

feat(proofs): grammar structural metatheory — no-left-recursion (+ di… #14

Sign in to view logs

Triggered via push June 26, 2026 21:48

claude/v2-grammar-proofs-audit-1yqgxh

Status Success

Total duration 31s

Artifacts –

coq-proofs.yml

on: push