Lean Executable Build

The build function definition for a Lean executable.

def Lake.LeanExe.recBuildExe (self : Lake.LeanExe) : Lake.FetchM (Lake.BuildJob System.FilePath)

Equations

• One or more equations did not get rendered due to their size.