commit: 5be241cba04e24491158e250926e06410cbbc398

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

Wed Jan 08 10:03:31 2025 -0800
committer: GitHub <noreply@github.com>

Wed Jan 08 18:03:31 2025 +0000
tree: bc2f759475728a658179d2ff611da23c66471044
parent: 034bc2674029e53c282efd2cb220221480565c8c [diff]

fix: forall propagation in `grind` (#6578)

This PR fixes and improves the propagator for forall-expressions in the
`grind` tactic.

---------

Co-authored-by: Kim Morrison <kim@tqft.net>

4 files changed

tree: bc2f759475728a658179d2ff611da23c66471044

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