Repository navigation

refactor: correct para_open_out variable orientation - #920

Open

lengyijun wants to merge 1 commit into

leanprover:mainfrom

awesome-lambda-calculus:para_open_out

Open

refactor: correct para_open_out variable orientation#920
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:para_open_out

Commits on Oct 17, 2026
- refactor: correct para_open_out variable orientation
  lengyijun
  committed
  02f30db