У Lean пока нет ни одного друга.