yellowsquid/cfe-proof.git/src/Cfe/Parse, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=master
2021-03-29T14:56:46Z
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