lean3 and lean4

Stream: general

[Arthur Correnson]

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

[Alex J. Best]

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]

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 !