Zulip Chat Archive
Stream: lean4
Topic: Setting Elan to Specific version
Joseph O (May 04 2022 at 15:37):
How can I set elan to a specific version of lean4? (as opposed to leanprover/lean4:nightly and leanprover/lean4:stable)
Horatiu Cheval (May 04 2022 at 15:39):
You can use elan default
Horatiu Cheval (May 04 2022 at 15:41):
As in elan default leanprover/lean4:nightly-2022-05-04 for instance
Last updated: May 02 2025 at 03:31 UTC