Lean 4 ecosystem

Stream: lean4

[Huỳnh Trần Khanh]

How should we go about building an ecosystem around Lean 4? For example linters, editor plugins, packages, community resources, forums, etc. I mean widely used programming languages have very vibrant ecosystems around them which contribute to their success.