一键安装此插件：
42plugin install cameronfreer/lean4-skills/build-lean42plugin install cameronfreer/lean4-skills/build-lean插件介绍
高效构建 Lean 4 项目，快速定位错误。 构建 Lean 4 项目并提供格式化的错误分析。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/build-lean42plugin install cameronfreer/lean4-skills/build-lean高效构建 Lean 4 项目，快速定位错误。 构建 Lean 4 项目并提供格式化的错误分析。