Topic: Lean 4 ecosystem
Huỳnh Trần Khanh (Jan 06 2021 at 01:31):
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.
Last updated: May 07 2021 at 13:21 UTC