yellowsquid/cfe-proof.git/src/Cfe, 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 Reprove properties of the typing judgement. 2021-04-24T12:55:59Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T12:55:59Z urn:sha1:c58866bea6ee251868d98a3da11f64030bb00aa7 Modify Fin definitions. 2021-04-24T12:55:33Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T12:55:33Z urn:sha1:fb37a9b65813666a3963c240a1bc8f6978a4866f Rework Context one last time. 2021-04-17T12:51:47Z Chloe Brown chloe.brown.00@outlook.com 2021-04-17T12:51:47Z urn:sha1:a5e00b31b873f7deaefa7cb0f60595452f40a57c Remove unnecessary Type construction. 2021-04-12T16:35:25Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:35:25Z urn:sha1:7cc5e28370079de3aab98ab536ae601392c31065 Remove unnecessary comment. 2021-04-12T16:32:33Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:32:33Z urn:sha1:0dd077cd1f9d062bab43e1bfa4bd05e318ed09b2 Cleanup Type properties. 2021-04-12T16:32:02Z Chloe Brown chloe.brown.00@outlook.com 2021-04-12T16:32:02Z urn:sha1:f84e919e12c92c241d3d38203400c2bb14fb0017 Cleanup Type base. 2021-04-06T15:14:54Z Chloe Brown chloe.brown.00@outlook.com 2021-04-06T15:14:54Z urn:sha1:337615b3beb2e0440c2374724fae09d7ec384952