Repository navigation

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

Commits on Jun 26, 2026
- feat(proofs): grammar structural metatheory — no-left-recursion (+ discrepancy), lexer, classification (Lean + Coq)
  claude
  committed
  daf3673