/CfgCert

A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.

Primary LanguageLean

No issues in this repository yet.