Installation
There are a number of ways to install Leo, depending on your platform and preferences. Take your pick!
If you'd like to try Leo without installing it locally on your machine, check out the Leo Playground.
- Cargo
- Pre-Built Binaries
- Build from Source
Install Cargo
The easiest way to install Cargo is to install the latest stable release of Rust.
Install Leo
cargo install leo-lang
This will generate the executable at ~/.cargo/bin/leo.
MacOS (Apple Silicon):
- Extract the - .zipfile
- Open a terminal land navigate to the extracted directory. 
- Run - chmod +x leoto make the file executable
- Move - leoto- /usr/local/binto use it system wide.- mv leo /usr/local/bin
- Run - leo --versionto confirm installation
Other Platforms:
Install Rust
Install the latest stable release of Rust. You can verify the installation by running:
cargo --version
Install Git
Install the latest version of Git. You can verify the installation by running:
git --version
Build Leo from Source Code
# Download the source code 
git clone https://github.com/ProvableHQ/leo
cd leo
# Build and install
cargo install --path .
This will generate the executable at ~/.cargo/bin/leo.
To use Leo, run:
leo