TorchLean API
Docs Home
Guide
Examples
Graphs
Lean
.
Util
.
LakePath
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Init.System.IO
Imported by
Lean
.
determineLakePath
source
def
Lean
.
determineLakePath
:
IO
System.FilePath
Instances For