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

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

hyperpolymath merged 1 commit into

mainhyperpolymath/wokelang:mainfrom

claude/v2-grammar-proofs-audit-1yqgxhhyperpolymath/wokelang:claude/v2-grammar-proofs-audit-1yqgxhCopy head branch name to clipboard