Skip to content

refactor: Simplify FullEta.step_lc_r proof - #749

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fmt
Open

refactor: Simplify FullEta.step_lc_r proof#749
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fmt

fix: Simplify FullEta.step_lc_r proof

c227a28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Jul 26, 2026 in 6m 43s