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

Lean に関する質問や相談を Discord にて受け付けています．