setting up lean on Windows

Stream: general

[Vinod Grover]

Is it possible to build and use lean using the standard command shell on windows or do I need the msys2 shell?

[Scott Morrison]

See https://github.com/leanprover-community/mathlib/blob/master/docs/install/windows.md

[Scott Morrison]

You can't use the standard command shell.

[Scott Morrison]

Our recommendation is that Windows users use the shell provided by Git for Windows.

[Vinod Grover]

I'll then use Linux... thanks!