commit: 15586e28a87de998b72a034ec67c9ff9fbe1e860

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

Sat Jul 05 20:36:56 2025 -0700
committer: GitHub <noreply@github.com>

Sat Jul 05 20:36:56 2025 -0700
tree: 5a72255af81f6125c7171b9727e8a98688e3d0a2
parent: 6f5fdf5c3e7cecfeee002ed5cd4d0a6d5af628e0 [diff]

feat: local and scoped `grind_pattern` (#9214)

This PR implements support for local and scoped `grind_pattern`
commands.

44 files changed

tree: 5a72255af81f6125c7171b9727e8a98688e3d0a2

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.