Context Free Grammar Results

Stream: CSLib

[Niels Mündler]

Mathlib has a few results on Context Free Grammars but appears to be discussing to split them off (see GitHub discussion, one year ago). I dont expect my current PRs to Mathlib will be merged for that reason. I do not know what is the current status of this, but I would be interested in contributing/rewriting existing results there.

Is CSLib interested in maintaining these results? Where would be the best place to add them?