commit: f7a30fd326a69a1f7795b9912b7c3054317f9389

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

Fri Jan 17 15:45:27 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 17 15:45:27 2025 -0800
tree: e3dee26208efa46bf6ac8d52892afd033824da37
parent: dcfb4e553e037737730ead68a0ba2ccc0673ea30 [diff]

chore: improve heuristic

2 files changed

tree: e3dee26208efa46bf6ac8d52892afd033824da37

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).