Lean 文档

在 Exercism 上使用 Lean 所需了解的一切。

浏览我们的 Lean 文档，了解在 Exercism 上充分利用 Lean 所需的一切，从安装 Lean、运行测试，到学习这门语言和实用资源。