How do I find the source for Lean 3.46?

Stream: new members

[Joe Glaberman]

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]

You're looking at the wrong repo

[Thomas Browning]

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

[Joe Glaberman]

ah, perfect, thank you