lean-ja は、Lean に関する情報の交換と集積を目的とした日本語コミュニティです。

Lean に関する質問や相談を Discord にて受け付けています。 (スパム除けのためにURLを変更しています。末尾の *** を削除してください)