Zulip Chat Archive

Stream: new members

Topic: trouble installing Python


Alexander Hails (Sep 14 2020 at 18:37):

I am trying to download leanprover and when i enter the command which python like the installation guide says, i get a path that does not match any of the ones on the list. I believe it is due to me having a pre-existing version of python installed so the guide said to come here for help. The path i get is /c/Program Files/Python36/python

Johan Commelin (Sep 14 2020 at 18:42):

Hi, welcome! Does the discussion at https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Existing.20Python/near/209455828 help?

Johan Commelin (Sep 14 2020 at 18:43):

@Alexander Hails I think we can solve that issue. There are a couple of tips & tricks for this, in the topic I linked to.

Johan Commelin (Sep 14 2020 at 18:43):

But if you get stuck, feel free to ask again.

Alexander Hails (Sep 14 2020 at 18:46):

@Johan Commelin thank you i will see if that helps


Last updated: Dec 20 2023 at 11:08 UTC