Zulip Chat Archive

Stream: lean4

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: Dec 20 2023 at 11:08 UTC