I'm trying to formalize System-T#20

Draft

timmykill wants to merge 3 commits intobwerner:mainfrom

timmykill:System-T

Commits on Dec 5, 2024

tried (failed) to prove strong normalization for System-T
utop
committed

Commits on Dec 6, 2024

added beta reduction of n, still stuck on the strong normalization
utop
committed

Commits on Dec 10, 2024

proved church rosser for system-T
utop
committed