madvorak / grammars

Formal grammars in Lean 3
8Updated last year

Alternatives and similar repositories for grammars:

Users that are interested in grammars are comparing it to the libraries listed below