commit: 8034f1882b462214c0589b7780fcf7e2909db373

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

Tue Dec 24 14:30:35 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 24 14:30:35 2024 -0800
tree: 56b77853943500ae2113a51b3e957806202e9fff
parent: 630577a9ea29706295ba8b6a5c7d3e9164a51d40 [diff]

fix: `checkParents` in `grind`

This PR fixes the `checkParents` sanity check in `grind`.

2 files changed

tree: 56b77853943500ae2113a51b3e957806202e9fff

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