commit: aeca7432111c48c1df94dffb0ccc1bd5f8eec19d

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

Sat Jan 04 13:47:59 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 04 14:06:09 2025 -0800
tree: f9356eb8f38c443f1de63401ce1e767947097b75
parent: a5b1ed906c867d56b6e595fd74e2aff6852c0463 [diff]

fix: `let_fun` support in `grind`

This PR fixes the support for `let_fun` in `grind`.

2 files changed

tree: f9356eb8f38c443f1de63401ce1e767947097b75

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