How to run Lean 4 code?

Stream: general

[notooth]

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

[Marc Huisinga]

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]

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