Skip to content

cleared out some lemmas and moved some others

f44e8b1
Select commit
Loading
Failed to load commit list.
Draft

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

cleared out some lemmas and moved some others
f44e8b1
Select commit
Loading
Failed to load commit list.