Get started with Lean #
We have installation instructions for the following operating systems:
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.