Skip to content

Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, classification (Lean + Coq)#103

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh
Jun 26, 2026
Merged

Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, classification (Lean + Coq)#103
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh

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

daf3673
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar