Skip to content

refactor(Locallynameless): Multiapp => List.foldl - #710

Draft
lengyijun wants to merge 3 commits into
leanprover:mainfrom
awesome-lambda-calculus:multiapp
Draft

refactor(Locallynameless): Multiapp => List.foldl#710
lengyijun wants to merge 3 commits into
leanprover:mainfrom
awesome-lambda-calculus:multiapp

grind only

2e72322
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 9, 2026 in 3s