No results found

chomsky

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
Displaying 1-1 of 1 packages depending on madvorak/chomsky
Sort by

  1. madvorak/thueusesa27e214

    Semi-Thue systems a.k.a. string rewriting systems