fact: Definition brute_force_parse : String -> bool := fun str => brute_force_parse_nonterminal str G.
imports: Fiat.Parsers.BooleanRecognizer Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.Splitters.RDPList Fiat.Parsers.Splitters.BruteForce