Skip to content

feat(locallynameless): eta-postpone - #965

Open
lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:eta-postpone
Open

lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:eta-postpone

feat: eta-postpone

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

Annotations

1 notice
check-pr-title
succeeded Oct 17, 2026 in 3s