WIP: alternative proof of strong normalization, following Lemma 3.2.1#21
Draft
j-bmn wants to merge 8 commits intobwerner:mainfrom
Draft
WIP: alternative proof of strong normalization, following Lemma 3.2.1#21j-bmn wants to merge 8 commits intobwerner:mainfrom
j-bmn wants to merge 8 commits intobwerner:mainfrom
Commits
Commits on Dec 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
