lean4 plans

Stream: lean4

[Michael Jam]

Is there a place that briefly summarizes important upcoming features (like well-founded recursion) with very rough expected delivery dates? Like little teasers for the next season... :smile:

[Patrick Massot]

No. The Lean 4 team is working a lot, this is all we can say.

[Patrick Massot]

Looking at the issue list can give you some information about their priority (for instance filtering for the feature label)

[Mac]

There is also the GitHub Projects page which does list some longer term goals such as an LLVM backend and a module system.

[Daniel Fabian]

The projects page we added is meant as a means to both communicate our priorities and explain what kind of contribution we would be able to support. Furthermore, we have tagged a few github issues as help wanted for things we see as valuable, well aligned with the priorities and feasible to do by outside contributors.

[Jannis Limperg]

(deleted) (goddamn I cannot for the life of me post in the right topic)