trouble installing Python

Stream: new members

[Alexander Hails]

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]

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

[Johan Commelin]

@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]

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

[Alexander Hails]

@Johan Commelin thank you i will see if that helps