yellowsquid/correct-obs.git/src, branch nameless
[no description]
http://git.yellowsquid.uk/yellowsquid/correct-obs.git/atom?h=nameless
2023-04-23T14:23:57Z
Bundle well-formed reductions.
2023-04-23T14:23:57Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T14:23:57Z
urn:sha1:6868d98d83ca64af4becf1b112f02b495e812f11
Construct shape views reflexively.
2023-04-23T13:57:22Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:57:22Z
urn:sha1:dddc8083b56f265e1e53cd3e6d2e374b25f42cb3
Define shape views.
2023-04-23T13:53:40Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:53:40Z
urn:sha1:8baf4268940277164f1462187501225033ec93c4
Prove escape theorems.
2023-04-23T13:33:18Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:33:18Z
urn:sha1:52b9e2f139444f012f3610e60321e4336d888bec
Remove unnecessary dependence on equality.
2023-04-23T13:07:22Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:07:22Z
urn:sha1:68d030ad604684c257538f0e2d3722d5de435d28
Rename for clarity.
2023-04-23T13:06:18Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:06:18Z
urn:sha1:c965633202f011b552f617250337e6220e20e2d7
Prove reducibility is reflexive.
2023-04-23T13:05:25Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:05:25Z
urn:sha1:670d31407bec15c9af63a04ff49db93723ef9ef3
Use custom relation for even more control.
2023-04-23T13:03:09Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-23T13:03:09Z
urn:sha1:348a57e18df85c74dee37a4013a1878716b91aac
Package a visible induction statement.
2023-04-22T15:12:49Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-22T15:12:49Z
urn:sha1:ab6f8d8aa077b3a8e7040b82c91afe4e67b6237b
Define logical relation.
2023-04-22T14:35:59Z
Chloe Brown
chloe.brown.00@outlook.com
2023-04-22T14:35:59Z
urn:sha1:24d15e2b15ca8e49f73aba91a511c24350baf76d