commit: cfb13b16890276eeb916998436f2760bca032e31

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

Mon Jul 14 12:04:04 2025 -0700
committer: GitHub <noreply@github.com>

Mon Jul 14 19:04:04 2025 +0000
tree: 9f4799d47c0daf1c15dd68e480762fa1556c7c1a
parent: 105843519cee8d4322dfe44b3b7a535f846f4438 [diff]

perf: add `unfoldReducible'` using `inShareCommon` (#9367)

This PR implements a minor optimization to the `grind` preprocessor.

src/Lean/Meta/Tactic/Grind/Simp.lean[diff]

1 file changed

tree: 9f4799d47c0daf1c15dd68e480762fa1556c7c1a

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.