Skip to content

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

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

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

refactor(LocallyNameless): Extract depth into a dedicated module

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