20.2. Multi-Threaded Execution

Lean includes primitives for parallel and concurrent programs, described using tasks. The Lean runtime system includes a task manager that assigns hardware resources to tasks. Along with the API for defining tasks, this is described in detail in the section on multi-threaded programs.