Zulip Chat Archive

Stream: general

Topic: How to run Lean 4 code?


view this post on Zulip notooth (Dec 01 2020 at 12:01):

I am new to Lean. Can anyone tell me how to compile Lean 4 code and run it on Terminal?

view this post on Zulip Marc Huisinga (Dec 01 2020 at 12:07):

you should likely stick to lean 3 for now, as lean 4 is still a work in progress. the community edition is what people use: https://leanprover-community.github.io/

view this post on Zulip Johan Commelin (Dec 01 2020 at 12:18):

See also https://agentultra.github.io/lean-for-hackers/


Last updated: May 11 2021 at 12:15 UTC