Skip to content

CFLs not closed under intersection — explicit witnesses (cfl_not_closed_inter) - #109

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh
Jun 27, 2026
Merged

CFLs not closed under intersection — explicit witnesses (cfl_not_closed_inter)#109
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh

feat(proofs): CFLs not closed under intersection (cfl_not_closed_inter)

bb61448
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar