commit: f7ca8453b8b0dc0855b07988e263d43662afc12f

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

Sun Jul 12 22:57:08 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 12 22:57:08 2026 +0000
tree: 965b0f03d3bfc8b9c867eb0d94c675917ae2532d
parent: 1d69dd53445ef8e60c7ec9728b44383ebb76b5bf [diff]

fix: 0 divides constraint in `grind`

This PR fixes nontermination in `grind` triggered by constraints of the form `0 ∣ p`.

5 files changed

tree: 965b0f03d3bfc8b9c867eb0d94c675917ae2532d

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.