How to run Lean programs from the command line

Stream: new members

[Juan Pablo Romero]

Hi, can anyone point me to the docs showing how to run Lean 3/4 programs from the command line?

[Alex J. Best]

https://agentultra.github.io/lean-for-hackers/ might be what you are looking for for lean 3

[Juan Pablo Romero]

Ah, thanks!

Somehow I missed the rather obvious lean --run hello.lean