Zulip Chat Archive

Stream: new members

Topic: When will there be a stable Lean 4 release?


view this post on Zulip Huỳnh Trần Khanh (Apr 09 2021 at 11:07):

with proper documentation and stuff

view this post on Zulip Kevin Buzzard (Apr 09 2021 at 11:09):

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.

view this post on Zulip Mario Carneiro (Apr 09 2021 at 11:10):

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

view this post on Zulip Huỳnh Trần Khanh (Apr 09 2021 at 11:14):

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

view this post on Zulip Kevin Buzzard (Apr 09 2021 at 11:14):

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

view this post on Zulip Huỳnh Trần Khanh (Apr 09 2021 at 11:15):

oh lol thought it was something entirely different. thanks

view this post on Zulip Kevin Buzzard (Apr 09 2021 at 11:17):

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.


Last updated: May 10 2021 at 19:16 UTC