commit: a6f40453a0719be2341b822a2bb5b70745b34f42

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

Sun Sep 28 16:15:39 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Sep 28 16:17:38 2025 -0700
tree: aec5fe4d363be2e9b8307ca21e1905d282df9b7d
parent: f2ad4f717b66ec2569ca7213ffcb63e7158d8882 [diff]

feat: declare `grind_tactic` attribute

src/Lean/Elab/Tactic/Grind.lean[diff]
src/Lean/Elab/Tactic/Grind/Basic.lean[Added - diff]

2 files changed

tree: aec5fe4d363be2e9b8307ca21e1905d282df9b7d

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.