yellowsquid/cfe-proof.git/src/Cfe/Language/Indexed, branch master [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=master 2021-04-05T13:31:57Z Clean-up Language hierarchy. 2021-04-05T13:31:57Z Chloe Brown chloe.brown.00@outlook.com 2021-04-05T13:31:57Z urn:sha1:da429008d25ac87ec67a4fb18a5cbee0ba756bcf Introduce non-terminating proof of derivation existence. 2021-03-27T20:32:03Z Chloe Brown chloe.brown.00@outlook.com 2021-03-27T20:32:03Z urn:sha1:adad5280af0d81a2f171df619e9c7169dcb43a02 Prove lemma 3.5 (7). 2021-03-24T17:01:29Z Chloe Brown chloe.brown.00@outlook.com 2021-03-24T17:01:29Z urn:sha1:abe9461e0dc194c160d97fee23a1646097a0c264 Change Language definition to respects instead of custom congruence. 2021-03-16T18:45:27Z Chloe Brown chloe.brown.00@outlook.com 2021-03-16T18:45:27Z urn:sha1:02a0f87be944b1d43fda265058b891f419d25b65 Complete proofs up to Proposition 3.2 (excluding unrolling) 2021-03-05T00:04:46Z Chloe Brown chloe.brown.00@outlook.com 2021-03-05T00:00:04Z urn:sha1:5302e4a27a64cb2a97120517df4b6998da7b3168 Another redefinition of Language. 2021-02-18T19:04:09Z Chloe Brown chloe.brown.00@outlook.com 2021-02-18T19:04:09Z urn:sha1:ff3600687249a19ae63353f7791b137094f5a5a1