Skip to content

feat: Add lemma SN.to_WN: SN implies Normalizable - #736

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:sn_to_wn
Open

feat: Add lemma SN.to_WN: SN implies Normalizable#736
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:sn_to_wn

feat: Add lemma SN.to_WN: SN implies Normalizable

e59c556
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 26, 2026 in 3s