Skip to content

Merge branch 'leanprover:main' into main

dbd8500
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

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

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

Annotations

1 error
check-pr-title
failed Feb 26, 2026 in 5s