commit: c8feab55fa669741ac9e675067b1349dd6fbae0f

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

Fri Dec 27 09:21:21 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 27 09:21:21 2024 -0800
tree: 434476576ec7ca9dadb14b104b676137b2598520
parent: c14e5ae7de1eff00c75dcd5675aebb38f7f23cab [diff]

fix: missing `Not` propagation rule in `grind`

This PR adds a new propagation rule for negation to the (WIP) `grind` tactic.

3 files changed

tree: 434476576ec7ca9dadb14b104b676137b2598520

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