added general lemmas for strong normalization of untyped lambda terms…#327

Draft

WegmannDavid wants to merge 15 commits intoleanprover:mainfrom

WegmannDavid:main

Commits on Feb 8, 2026

added general lemmas for strong normalization of untyped lambda terms and a partially complete proof for strong norm of stlc
WegmannDavid
committed

Commits on Feb 15, 2026

Commits on Feb 16, 2026

Commits on Feb 24, 2026

Commits on Feb 26, 2026

Commits on Feb 27, 2026

Commits on Feb 28, 2026