12.3. 多线程执行🔗

Lean 包括并行和并发程序的原语，使用 任务 进行描述。 Lean 运行时系统包括一个为任务分配硬件资源的任务管理器。 与用于定义任务的 API 一起，有关多线程程序的部分对此进行了详细描述。