commit: 5e9ff8482b4ef813bdeb7bb59131d9bd63742c21

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

Sun Aug 03 14:11:54 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 03 14:11:54 2025 +0200
tree: 6b6b78d876240bd163bb4cc06734a30f72ad6249
parent: af473b085a93ad6f7e916f04daa790b5aafc5b22 [diff]

fix: assertion violations at `grind` `checkInvariants`

This PR fixes assertion violations when `checkInvariants` is enabled
in `grind`

2 files changed

tree: 6b6b78d876240bd163bb4cc06734a30f72ad6249

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.