Chomsky hierarchy in Lean 4
Explanation of the Lean 3 version is here (mostly about the top level).
chomsky
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
chomskyExplanation of the Lean 3 version is here (mostly about the top level).