commit: 28eaba4c034698d54a487b04ea3aa2619ccb1381

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 18:14:34 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 18:14:34 2025 -0700
tree: 5e28f4f05c5883ff9a559b96e86ecf9622304bd0
parent: f045ac1286a50ba8ed1016d2726a43d56f232814 [diff]

fix: test

4 files changed

tree: 5e28f4f05c5883ff9a559b96e86ecf9622304bd0

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.