Lean 文件

在 Exercism 上使用 Lean 所需知道的一切。

探索我們的 Lean 文件，了解如何在 Exercism 充分體驗 Lean，從安裝 Lean、執行測試、學習這門語言，到實用的資源，應有盡有。