Proof simplifications & additional lemmas#21

Draft

utkn wants to merge 4 commits intomainfrom us/additional-lemmas

+51-97

Commits on Dec 4, 2024

some proof simplifications
utkn
committed

Commits on Dec 5, 2024

proof simplifications in semantics
utkn
committed

Commits on Dec 6, 2024

some simplifications
utkn
committed

Commits on Dec 11, 2024

Merge branch 'main' of https://github.com/reilabs/lampe into us/additional-lemmas
utkn
committed