Skip to content

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

feat(proofs): complete the CFL pumping lemma (cfl_pumping), from scra…

86b06e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar