Lean Docs

Everything you need to know about using Lean on Exercism.

Explore our Lean docs and discover everything you need to know to make the most of your Lean experience on Exercism, from installing Lean to running the tests, learning the language, and useful resources.