When will there be a stable Lean 4 release?

Stream: new members

[Huỳnh Trần Khanh]

with proper documentation and stuff

[Kevin Buzzard]

The devs are clearly extremely busy (look at the #rss feed) -- I'm not sure this is a question which they will be prepared to answer. Documentation takes a lot of time to write, especially if you want to write it well. I'm happy to just keep waiting.

[Mario Carneiro]

That said, there is already a significant amount of documentation in the lean 4 reference

[Huỳnh Trần Khanh]

hmm where is the lean 4 reference that you're talking about? i couldn't find it anywhere tbh

[Kevin Buzzard]

https://leanprover.github.io/lean4/doc/

[Huỳnh Trần Khanh]

oh lol thought it was something entirely different. thanks

[Kevin Buzzard]

There's easily enough there to get you started -- I have made some small projects just by reading what is there and looking through some of the source code files like Prelude.lean and Core.lean.