Revision - f1655e7 - Add a proof of consistency using safe reduction and canonicity

Revision f1655e7d22e4d385bec489754167b9943fbe0877 authored by Jakob Botsch Nielsen on 17 December 2020, 11:56:30 UTC, committed by Jakob Botsch Nielsen on 17 December 2020, 11:56:30 UTC

Add a proof of consistency using safe reduction and canonicity

1 parent f0f58cc

Files
Changes

Permalinks

File	Mode	Size
tasks.json	-rw-r--r--	376 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...