added general lemmas for strong normalization of untyped lambda terms…#327
Closed
WegmannDavid wants to merge 0 commit intoleanprover:mainfrom
Closed
added general lemmas for strong normalization of untyped lambda terms…#327WegmannDavid wants to merge 0 commit intoleanprover:mainfrom
WegmannDavid wants to merge 0 commit intoleanprover:mainfrom
Commits
No commits history
There isn't any commit history to show here.