Zulip Chat Archive

Stream: new members

Topic: How do I find the source for Lean 3.46?


Joe Glaberman (Aug 17 2022 at 21:57):

The lean3 github repo is "archived" and the last release is form 2019, yet the version that elan installed is 3.46.0 (commit 741670c439f1). Where can I find the source for this version?

Eric Wieser (Aug 17 2022 at 21:58):

You're looking at the wrong repo

Thomas Browning (Aug 17 2022 at 21:59):

https://github.com/leanprover-community/lean

Joe Glaberman (Aug 17 2022 at 22:00):

ah, perfect, thank you


Last updated: Dec 20 2023 at 11:08 UTC