yellowsquid/cfe-proof.git, branch thm4.5a
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=thm4.5a
2021-03-30T17:52:46Z
Attempt to prove unrolling.
2021-03-30T17:52:46Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-30T17:52:46Z
urn:sha1:050206a1ba06d588879171698f2f8120a8b550d4
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
Convert to terminating proof using well-founded induction.
2021-03-29T13:52:02Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-29T13:52:02Z
urn:sha1:3638caa4c6f363c1adc7c931f65dea3104cae796
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
Introduce derivations.
2021-03-27T15:04:30Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-27T15:04:30Z
urn:sha1:c67134fc5cb9e338cb397df029e5528d469771d4
Prove soundness of judgement.
2021-03-27T14:50:17Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-27T14:50:17Z
urn:sha1:b254d61d3a4084e0f2dc47cded5b4482cc31ae23
Begin soundness proof.
2021-03-27T13:34:32Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-24T09:30:13Z
urn:sha1:a95622ca33a31a8c6d3cb31c7ca3b390e7aa5624
Prove satisfaction for concatenation.
2021-03-27T13:10:40Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-27T13:10:40Z
urn:sha1:a062b83551010213825e41a7acb0221a6c74e6af
Prove sequential unique decomposition.
2021-03-25T18:01:19Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-25T18:01:19Z
urn:sha1:ba7e3b5d9c868af4b5dd7c3af72c48a1dd27cc31
Fix faulty definition of flast set.