refinedGrammar_fuzzing This verification project is built on the published material of the "A Formalisation of the Normal Forms of Context-Free Grammars in HOL4" paper.