yellowsquid/cfe-proof.git/src/Cfe/Derivation, branch master [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=master 2024-01-23T14:54:53Z Prove derivations are structurally unique. 2024-01-23T14:54:53Z Chloe Brown chloe.brown.00@outlook.com 2024-01-23T14:54:53Z urn:sha1:e7557267586b4c197663919ee83fa3e5c40e28f9 Finally prove that e [ μ e / zero ] ≈ μ e. 2021-04-29T19:58:04Z Chloe Brown chloe.brown.00@outlook.com 2021-04-29T19:58:04Z urn:sha1:8abb1b5601fabf5e7560d08faa6e633e60663e0a Complete proof of generator. Cleanup Derivation. 2021-04-24T14:30:30Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T14:30:30Z urn:sha1:0708355c7988345c98961cad087dc56eeb16ea7f Introduce < for Languages. 2021-03-29T17:08:09Z Chloe Brown chloe.brown.00@outlook.com 2021-03-29T17:08:09Z urn:sha1:13e0839831a528d26478a3a94c7470204460cce4 Move around some definitions. Rename parse to derivation. 2021-03-29T14:56:46Z Chloe Brown chloe.brown.00@outlook.com 2021-03-29T14:56:46Z urn:sha1:da35892c463cd6b9a492c6aee09726a41031ca93