summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-12 15:04:40 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-12 15:04:40 +0100
commit2d5b93b5fcb86b3c3f3ee3faff3068f6d7369c23 (patch)
treec883838d3e22681233765067aca219162ee08e42 /vc
parent5f76b9a9619248888250dd8407e9a9f4b3310136 (diff)
downloadinf110-lfi-2d5b93b5fcb86b3c3f3ee3faff3068f6d7369c23.tar.gz
inf110-lfi-2d5b93b5fcb86b3c3f3ee3faff3068f6d7369c23.tar.bz2
inf110-lfi-2d5b93b5fcb86b3c3f3ee3faff3068f6d7369c23.zip
Sketch of proof of cut elimination, and applications thereof.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions