Repository navigation

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

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/v2-grammar-proofs-audit-1yqgxh

Jun 27, 2026

Merged

CFL pumping lemma + aⁿbⁿcⁿ ∉ CFL — machine-checked from scratch in Lean#106
hyperpolymath merged 2 commits into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh

Commits on Jun 27, 2026
- feat(proofs): CFL pumping lemma — verified foundation (toward §7.3 non-closure)
  claude
  committed
  fe35aad
- feat(proofs): complete the CFL pumping lemma (cfl_pumping), from scratch in Lean
  claude
  committed
  86b06e7