Skip to content

WIP: alternative proof of strong normalization, following Lemma 3.2.1 - #21

Draft
j-bmn wants to merge 8 commits into
bwerner:mainfrom
j-bmn:strong-normalization-variant
Draft

WIP: alternative proof of strong normalization, following Lemma 3.2.1#21
j-bmn wants to merge 8 commits into
bwerner:mainfrom
j-bmn:strong-normalization-variant

reduce dependency on auto-generated names

7ba5d9c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs