Repository navigation

refactor(LocallyNameless/Untyped): rename close_open => close_openRec - #678

Open

lengyijun wants to merge 3 commits into

leanprover:mainfrom

awesome-lambda-calculus:close_openRec

Open

refactor(LocallyNameless/Untyped): rename close_open => close_openRec#678
lengyijun wants to merge 3 commits into
leanprover:mainfrom
awesome-lambda-calculus:close_openRec

Commits on Oct 17, 2026
- refactor(LocallyNameless/Untyped): rename close_open => close_openRec
  lengyijun
  committed
  b53f928
- doc
  lengyijun
  committed
  f1534bb
- open_closeRec
  lengyijun
  committed
  c79b2cf