Zulip Chat Archive

Stream: general

Topic: How to run Lean 4 code?

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?

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/

Johan Commelin (Dec 01 2020 at 12:18):

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

Last updated: Aug 03 2023 at 10:10 UTC