Skip to content

feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l - #705

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

feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l#705
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fulleta.steps_open_cong_l

feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l

d89b7ae
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