commit: 28aaba7937655ffb874827b9dd9c0e57bd7c2635

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

Wed Jan 15 10:05:13 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 15 10:05:58 2025 -0800
tree: 7dac7e894b46aa1bee3b34201c0ccb95a1a9fc8e
parent: b3f8feffd3b3d6bd2ff79d7b2949b51fe5663714 [diff]

feat: better support for partial applications in the E-matching procedure

2 files changed

tree: 7dac7e894b46aa1bee3b34201c0ccb95a1a9fc8e

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