Repository navigation

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

Commits on Oct 17, 2026
- feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l
  lengyijun
  committed
  d89b7ae