A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Ramneet-Singh/CfgCert
A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Lean
A Lean 3 formalisation of the transformation of any context free grammar into Chomsky Normal Form.
Lean