Zulip Chat Archive

Stream: new members

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


Huỳnh Trần Khanh (Apr 09 2021 at 11:07):

with proper documentation and stuff

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.

Mario Carneiro (Apr 09 2021 at 11:10):

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

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

Kevin Buzzard (Apr 09 2021 at 11:14):

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

Huỳnh Trần Khanh (Apr 09 2021 at 11:15):

oh lol thought it was something entirely different. thanks

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