28 citations · 51 across the 9 of their papers we have counts for
1 paper · 1 filter
Martin Dvorak, Jasmin Blanchette
We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to sh…