commit: d94347b838b94830b6aea9f7460d9fc5805619ba

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 00:07:31 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 00:07:31 2026 -0300
tree: ffda927a448557e269f93ed892f45d248253a030
parent: 1c0faef94bf9e72dd19cc3ea740788d926cb9fae [diff]

fix: add fast path

5 files changed

tree: ffda927a448557e269f93ed892f45d248253a030

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.