commit: ef966468cc798e988d1e136c0dd19ce0f79d0af6

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

Sat Feb 15 18:18:01 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 15 18:25:59 2025 -0800
tree: 669a828e16dbb37ffed4cff9710633970a8ae643
parent: b01d12cbd315dd17e16b30c017a4e73fe331bb07 [diff]

chore: fix test to reflect recent changes

3 files changed

tree: 669a828e16dbb37ffed4cff9710633970a8ae643

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 (documentation source: doc/make/index.md).