commit: 7b29f488df307ca73b3fc911bf2d2ddc03eb405d

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

Sun Jan 05 18:34:56 2025 +0100
committer: GitHub <noreply@github.com>

Sun Jan 05 17:34:56 2025 +0000
tree: 25e90f8c654157a6a71a8b90908bed2e8b9ed5a7
parent: fb506b957c377134ee90bbb144598aa7a782b72d [diff]

fix: E-matching thresholds in the `grind` tactic (#6536)

This PR fixes different thresholds for controlling E-matching in the
`grind` tactic.

3 files changed

tree: 25e90f8c654157a6a71a8b90908bed2e8b9ed5a7

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