Def Lean.SearchPath.findWithExtBase

Modification history

2025-02-24 14:14

Cache/Lean.lean

refactor(Cache): refactor getPackageDir to not use manually provided package directories (#21817)

Added Lean.SearchPath.findWithExtBase View on Github →