Skip to content

refactor: abbrev open'/close - #815

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

refactor: abbrev open'/close#815
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:abbrev_open

refactor: `abbrev open'`

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