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

Conversation

@lengyijun

Copy link
Copy Markdown
Contributor

No description provided.

@lengyijun
lengyijun force-pushed the Xi.step_lc_l branch 2 times, most recently from 07338e0 to a0c8edf Compare July 26, 2026 00:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant