※そろそろLean 4が出そうなのでここの情報ももはや正確ではないと思います(2021/09/11)。 Leanのドキュメントは原則としてLean communityからたどれます。Lean自体のホームページからインストール方法を探そうとするとここに飛ばされます。 僕が使っているLi…