Skip to content

refactor(locallynameless): remove HasFresh - #852

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:basic.lean
Open

refactor(locallynameless): remove HasFresh#852
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:basic.lean

refactor(locallynameless): close/open

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