Skip to content

refactor: Add Xi.step_lc_l and simplify step_lc_l in FullBeta/FullEta - #750

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

refactor: Add Xi.step_lc_l and simplify step_lc_l in FullBeta/FullEta#750
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:Xi.step_lc_l

refactor: Add Xi.step_lc_l and simplify step_lc_l in FullBeta/FullEta

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