commit: 659bc50b6f5abd5a21c247b4ad6a1a1b18580371

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

Tue Oct 21 14:54:56 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Oct 21 14:56:43 2025 -0700
tree: 77b6a2f666014cecfe0cf9300d28e48a6c74bba8
parent: 56f3ca6fc74ad5bfbc0feafc4d5a48e87571db62 [diff]

fix: `grind` proof instability

This PR fixes a proof instability source in `grind`.

We say a proof is *unstable* if minor changes in the `.lean` file containing the proof **affect** it.

6 files changed

tree: 77b6a2f666014cecfe0cf9300d28e48a6c74bba8

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.