Skip to content

§7.3 CFL closure under union / concatenation / Kleene star (Lean, from scratch) - #105

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

§7.3 CFL closure under union / concatenation / Kleene star (Lean, from scratch)#105
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh

feat(proofs): §7.3 CFL closure under union/concat/star, from scratch …

43ac871
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar