Zulip Chat Archive

Stream: general

Topic: lean3 and lean4


Arthur Correnson (Nov 02 2022 at 14:41):

Hi all ^^, quick question: is there a way to have both lean3 and lean4 installed without making a mess ?

Alex J. Best (Nov 02 2022 at 14:52):

Yes, you should install versions of lean using elan, https://github.com/leanprover/elan this will manage which version of lean is used by each project for you and download new versions as needed

Arthur Correnson (Nov 02 2022 at 14:55):

Alex J. Best said:

Yes, you should install versions of lean using elan, https://github.com/leanprover/elan this will manage which version of lean is used by each project for you and download new versions as needed

ok thanks !


Last updated: Dec 20 2023 at 11:08 UTC