commit: ab1e30a2f72f1c8fc612658550107fbe98d281de

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

Mon Jan 05 11:00:54 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 05 11:03:06 2026 -0800
tree: bb41d9bdb49c30507c671a7751a84fa60976c2d3
parent: c358b0c7341de7cdd732b8f09ab552f7405facfb [diff]

perf: use `update.*!` at `AlphaShareCommon`

This PR tries to minimize the number of expressions created at `AlphaShareCommon`.

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

1 file changed

tree: bb41d9bdb49c30507c671a7751a84fa60976c2d3

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.