Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from scratch)#104

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