commit: 7376772cbd49e8214e093ebb5031e139ef0141dd

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

Mon Jan 05 11:11:01 2026 -0800
committer: GitHub <noreply@github.com>

Mon Jan 05 19:11:01 2026 +0000
tree: bb41d9bdb49c30507c671a7751a84fa60976c2d3
parent: c358b0c7341de7cdd732b8f09ab552f7405facfb [diff]

perf: use `update.*!` at `AlphaShareCommon` (#11906)

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.