Ramneet-Singh/CfgCert
A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Lean
No issues in this repository yet.
A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Lean
No issues in this repository yet.