commit: 011ddbab0bebdb848bb8fe6e58ab81029e87c3d0

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

Sun Jan 05 11:16:14 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 05 11:18:57 2025 -0800
tree: 835ab6849ee856091d45f78f5c3722d150a718d2
parent: 7b29f488df307ca73b3fc911bf2d2ddc03eb405d [diff]

feat: pattern normalization in the `grind` tactic

This PR ensures patterns provided by users are normalized. See new
test to understand why this is needed.

6 files changed

tree: 835ab6849ee856091d45f78f5c3722d150a718d2

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