Installation

There are a number of ways to install Leo, depending on your platform and preferences. Take your pick!

Cargo

Install Cargo

The easiest way to install Cargo is to install the latest stable release of Rust.

Install Leo

cargo install leo-lang leo-fmt leo-lsp

This will install the leo, leo-fmt, and leo-lsp executables at ~/.cargo/bin/.

cargo binstall

Install cargo-binstall

cargo-binstall downloads pre-compiled binaries instead of building from source, cutting install time from minutes to seconds.

cargo install cargo-binstall

Install Leo via binstall

cargo binstall leo-lang leo-fmt leo-lsp

To install a specific version:

cargo binstall [email protected] [email protected] [email protected]

note

cargo binstall metadata is only present for versions after 4.0.2. For earlier versions, use cargo install instead.

tip

If no pre-built binary is available for your platform, cargo binstall falls back to building from source automatically.

Pre-Built Binaries

Download Pre-Built Binaries

Pre-built binaries are available for every release from GitHub Releases.

Each release publishes a ZIP archive per platform:

Platform	Target
Linux (x86_64, glibc)	x86_64-unknown-linux-gnu
Linux (x86_64, musl)	x86_64-unknown-linux-musl
macOS (Intel)	x86_64-apple-darwin
macOS (Apple Silicon)	aarch64-apple-darwin
Windows (x86_64)	x86_64-pc-windows-msvc

Archives are named leo-lang-v{version}-{target}.zip (e.g. leo-lang-v4.0.1-aarch64-apple-darwin.zip).

Install

1. Download the ZIP for your platform from the latest release.

2. Extract the archive.

3. On macOS/Linux, make the binaries executable and move them onto your PATH:

   chmod +x leo leo-fmt leo-lsp
   mv leo leo-fmt leo-lsp /usr/local/bin/

4. Verify the installation:

   leo --version

note

Plugin binaries such as leo-fmt and leo-lsp are released under their own crate tags (e.g. leo-fmt-v4.1.0, leo-lsp-v4.1.0). Download the matching plugin archives from the same releases page.

Build from Source

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 Leo
cargo install --path crates/leo
# Build and install the formatter plugin
cargo install --path crates/fmt
# Build and install the language server plugin
cargo install --path crates/lsp

This will install the leo, leo-fmt, and leo-lsp executables at ~/.cargo/bin/.

To use Leo, run

leo

---

For distribution maintainers and detailed artifact information, see the Binary Distribution Reference.