Zulip Chat Archive

Stream: new members

Topic: version


view this post on Zulip Logan Murphy (Sep 09 2020 at 16:26):

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

view this post on Zulip Bryan Gin-ge Chen (Sep 09 2020 at 16:29):

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.

view this post on Zulip Logan Murphy (Sep 09 2020 at 16:30):

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

view this post on Zulip Logan Murphy (Sep 09 2020 at 16:31):

Oh, nevermind. Found them. My bad!

view this post on Zulip Johan Commelin (Sep 09 2020 at 16:36):

@Logan Murphy Also #eval lean.version

view this post on Zulip Logan Murphy (Sep 09 2020 at 16:49):

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

view this post on Zulip Johan Commelin (Sep 09 2020 at 16:50):

@Logan Murphy Hmmm, is elan in your path?

view this post on Zulip Johan Commelin (Sep 09 2020 at 16:51):

As in, $HOME/.elan?

view this post on Zulip Logan Murphy (Sep 09 2020 at 16:51):

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.

view this post on Zulip Logan Murphy (Sep 09 2020 at 16:52):

Yep, that did it.

view this post on Zulip Avery Colyer (Sep 09 2020 at 21:02):

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?

view this post on Zulip Yakov Pechersky (Sep 09 2020 at 21:04):

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

view this post on Zulip Yakov Pechersky (Sep 09 2020 at 21:05):

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

view this post on Zulip Avery Colyer (Sep 09 2020 at 23:46):

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


Last updated: May 18 2021 at 17:44 UTC