Get started with Lean #

We have installation instructions for the following operating systems:

After this installation procedure, it is crucial to read how to start or get a Lean project. And of course you'll probably want to learn Lean!

If you only want to try Lean without installing it, you can try running it in the cloud using Gitpod or GitHub codespaces. For instance you can read the book Mathematics in Lean while doing the exercises on Gitpod. Note this Gitpod option requires you to create an account somewhere.