Zulip Chat Archive

Stream: lean4

Topic: Lean 4 ecosystem


view this post on Zulip 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