commit: b32797795aa54069e122ee61163f15800fbad870

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

Tue Jan 07 18:45:10 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jan 07 18:45:10 2025 -0800
tree: 507fd1f2c5dc18909c5622128e8dcfed555562ed
parent: ee4065cc4dc9819c4386626d1b153a741a991d81 [diff]

fix: missed split

4 files changed

tree: 507fd1f2c5dc18909c5622128e8dcfed555562ed

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