lean4-mode icon indicating copy to clipboard operation
lean4-mode copied to clipboard
verified publisher icon leanprover-community

Refactor lake find dir

Open zaz opened this issue 1 year ago • 0 comments

Fixes

lean4-lake-find-dir-in: Lisp nesting exceeds ‘max-lisp-eval-depth’: 1601

See also Issue #90

zaz avatar Feb 16 '25 14:02 zaz