commit: c19e473891baec40e4882dc8c7edce13e19d7a7a

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

Sat Oct 21 06:47:23 2023 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 21 06:47:23 2023 -0700
tree: 28f66b92cd392686adbab54651984d3c8059d4db
parent: 90c65afed982f6917a866ea33525f15c4d67f104 [diff]

chore: fix tests output

3 files changed

tree: 28f66b92cd392686adbab54651984d3c8059d4db

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.