#Lean 4

Lean 4 工程化入门：Elan 工具链配置与 Lake 包管理实战

Lean 4 工程化入门：Elan 工具链配置与 Lake 包管理实战

2026-02-02 · 10min · Paxon Qiao

Lean 4 工程化入门：Elan 工具链配置与 Lake 包管理实战