Elan failed with error code

Stream: new members

[Mateusz]

Hello, I'm trying to install Elan using elan-init.ps1 on Windows, but I'm getting Elan failed with error code -1073741515 - has anybody encountered it before and knows what to do? :(

[Scott Morrison]

Haha, me too a year later. Windows is fun.

[Mauricio Collares]

Cross-link for future reference: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/quickstart.20instructions.3B.20where.20to.20file.20issues.3F

[Scott Morrison]

More specifically, linking to this message. You need to installation the Visual Studio redistributable package. Many people avoid noticing this step because it is commonly installed already on Windows systems.

[Scott Morrison]

And hopefully elan will be adjusted soon to avoid this requirement.