Zulip Chat Archive

Stream: general

Topic: setting up lean on Windows


view this post on Zulip Vinod Grover (May 13 2019 at 02:34):

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

view this post on Zulip Scott Morrison (May 13 2019 at 02:35):

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

view this post on Zulip Scott Morrison (May 13 2019 at 02:35):

You can't use the standard command shell.

view this post on Zulip Scott Morrison (May 13 2019 at 02:36):

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

view this post on Zulip Vinod Grover (May 13 2019 at 02:40):

I'll then use Linux... thanks!


Last updated: May 13 2021 at 21:12 UTC