commit: 2d041711744583dda9dc984089c596c1a32fd1dd

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

Sat Jan 11 19:25:42 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 11 20:00:26 2025 -0800
tree: 473593c9b3048ff4dcdad7ab270df76f7c202b5a
parent: 463609157121d5a86c2bc11eb4eba8ec19683c15 [diff]

chore: increase default max number of splits

2 files changed

tree: 473593c9b3048ff4dcdad7ab270df76f7c202b5a

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