CFL pumping lemma + aⁿbⁿcⁿ ∉ CFL — machine-checked from scratch in Lean#106

hyperpolymath merged 2 commits into

mainhyperpolymath/wokelang:mainfrom

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