Chomsky
Port https://github.com/madvorak/grammars/ to Lean 4
Install / Use
/learn @madvorak/ChomskyREADME
Chomsky hierarchy in Lean 4
Explanation of the Lean 3 version is here (mostly about the top level).
Port https://github.com/madvorak/grammars/ to Lean 4
/learn @madvorak/ChomskyExplanation of the Lean 3 version is here (mostly about the top level).
