commit: fa5590deef20a550ab80835fd8514f6a1a938ce4

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

Tue Dec 23 18:36:21 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 23 18:37:12 2025 -0800
tree: 1172d4fd413237be9d88d5221908cdbdacd07b64
parent: 75ad4285455c022f1766c564908008188c5846de [diff]

feat: support for incrementally processing hypotheses in `grind`

3 files changed

tree: 1172d4fd413237be9d88d5221908cdbdacd07b64

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.