lean-ja
https://gyazo.com/9ce4901630d297a56a3d52fc0e8cdcfa
Lean
の日本語コミュニティ
https://lean-ja.github.io/
github
discord