commit: 417f8056f9a48ffd882376e2f673918edc9e473c

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

Sat Jan 11 21:06:17 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 11 21:09:03 2025 -0800
tree: dbbd72118ad031cfd8baebe2d0a615da3af4f462
parent: 5119528d202c174fe340200a4b96d9f8761bdb26 [diff]

fix: `checkParents` in `grind`

This PR fixes one of the sanity check tests used in `grind`.

src/Lean/Meta/Tactic/Grind/Inv.lean[diff]

1 file changed

tree: dbbd72118ad031cfd8baebe2d0a615da3af4f462

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