version

Stream: new members

[Logan Murphy]

How do I check if I'm using the latest community release or the official release?

[Bryan Gin-ge Chen]

You can type lean -v in the console; the latest community version is 3.19.0 and the last official release was 3.4.2. Note that the Lean version you're using could depend on the particular project you're working on; it's specified in the leanpkg.toml file.

[Logan Murphy]

For some reason I don't have lean binaries in my path and I can't find them in my filesystem. Thanks, I'll check the toml of my project

[Logan Murphy]

Oh, nevermind. Found them. My bad!

[Johan Commelin]

@Logan Murphy Also #eval lean.version

[Logan Murphy]

I don't know what I did to my project but none of my imports are working, and when I try to make a new leanproject i have an error saying that leanpkg doesn't exist. I've been writing all my leans programs in a single project folder so I'm not sure what to do

[Johan Commelin]

@Logan Murphy Hmmm, is elan in your path?

[Johan Commelin]

As in, $HOME/.elan?

[Logan Murphy]

I just tried the single-command install for ubuntu on the community website, it seems to have put things back in my path, should work now I think.

[Logan Murphy]

Yep, that did it.

[Avery Colyer]

hi! i have python 3.6.4 installed on my computer for one class, but another class requires me to link the newest version of python to git bash / lean prover, but when i run 'which python' I get '/c/Program Files/Python36/python' is this fine or is there a way to fix it?

[Yakov Pechersky]

Hi Avery, try following the directions in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Existing.20Python

[Yakov Pechersky]

The newest version of python is 3.8.something. You could try installing it following the community instructions.

[Avery Colyer]

Yakov Pechersky said:

Hi Avery, try following the directions in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Existing.20Python

thank you! I followed that thread and I believe I'm good to go now. I appreciate the help