Lean Executable Build

The build function definition for a Lean executable.

def Lake.LeanExe.recBuildExe (self : Lake.LeanExe) : Lake.IndexBuildM (Lake.BuildJob Lake.FilePath)

Equations

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