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):
Last updated: Aug 03 2023 at 10:10 UTC