yellowsquid/cfe-proof.git/src/Relation/Binary, branch soundness
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=soundness
2021-03-05T00:04:46Z
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
Define induced posets.
2021-01-28T22:40:39Z
Chloe Brown
chloe.brown.00@outlook.com
2021-01-28T22:40:39Z
urn:sha1:fbec259826a909eabfcadc98440e8d2be54d7281