commit: 30616a462973a7f438967734cb0a1da882751976

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

Mon Jun 17 13:57:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 13:57:41 2024 -0700
tree: 5eb2b96d52a645371cc1e7b4659831ebde31d0af
parent: 08785b49c7c06dcb88f9b192579f972cc23ce3f3 [diff]

feat: new `#reduce` elaborator

closes #4465

3 files changed

tree: 5eb2b96d52a645371cc1e7b4659831ebde31d0af

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