commit: 46e647423ffb701f9301bf9859ae7f0c55c4966e

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

Fri Jan 17 11:52:19 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 17 11:54:40 2025 -0800
tree: dc3e6c735bd4e446f6076c6141bfa3ac368388cc
parent: 7b96f6784fc3b6bc48b5bfbb195b24920e905b8b [diff]

chore: update stage0

Manual update stage0 is required to get the test suite green.

3 files changed

tree: dc3e6c735bd4e446f6076c6141bfa3ac368388cc

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