commit: 1dd8750a72222cc1eda7ab74596a380579cff537

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

Sat Jan 04 08:44:53 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 04 08:49:09 2025 -0800
tree: 61af2bc010de35da8034fc2605098104e614c629
parent: 31435e9cd156ecc53c7070b5dd061b98d95187ab [diff]

fix: missing propagation in `grind`

This PR adds a missing propagation rule to the (WIP) `grind` tactic.

2 files changed

tree: 61af2bc010de35da8034fc2605098104e614c629

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