Skip to content

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

refactor: correct para_open_out variable orientation

02f30db
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