Skip to content

refactor(LocallyNameless): Extract depth into a dedicated module - #798

Open
lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:depth
Open

refactor(LocallyNameless): Extract depth into a dedicated module#798
lengyijun wants to merge 2 commits into
leanprover:mainfrom
awesome-lambda-calculus:depth

refactor(LocallyNameless): Extract depth into a dedicated module

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

Annotations

1 warning
ci-checks
succeeded Aug 14, 2026 in 4m 33s