commit: aaeb1bbf6120cedb11f0503f08fce6651e3f5ba6

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

Wed Aug 27 20:26:34 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 27 20:28:25 2025 -0700
tree: 45957554197336dc28b773346294c1131b600780
parent: 86425f655ab32fc7efa4e10878a9750b5ccf2031 [diff]

feat: simplify equations in `grind` AC module

This PR adds support for equality simplification helper functions to
the `grind` AC module.

6 files changed

tree: 45957554197336dc28b773346294c1131b600780

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.