diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:05:52 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:05:52 +0100 |
| commit | 2ab0a78d642c602599f4d6a23372c0c91b9f27f0 (patch) | |
| tree | 0ee014644d849850b4e47d6e371093b0edccbf4d /obs.ipkg | |
| parent | 5a53c75f533f2ae758635e1989c4e7fb2b6469d5 (diff) | |
Prove reduction is deterministic.
Diffstat (limited to 'obs.ipkg')
0 files changed, 0 insertions, 0 deletions