Leanのドキュメント

ExercismでLeanを使うために知っておきたいことをすべてまとめました。

Leanのドキュメントを見て、ExercismでLeanを最大限に活かすために必要なことをすべて見つけましょう。Leanのインストールから、テストの実行、言語の学習、役立つリソースまで紹介しています。