Skip to content

Merge branch 'leanprover:main' into main

5dfc1bd
Select commit
Loading
Failed to load commit list.
Draft

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

Merge branch 'leanprover:main' into main
5dfc1bd
Select commit
Loading
Failed to load commit list.