commit: f30b014f5c9823cd3f5ec545240e7afe1138412b

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

Thu Dec 25 14:41:35 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Dec 25 14:53:52 2025 -0800
tree: 41ddd47b738e32a8364867725dc160bb2703e199
parent: 19d16ff9b758b1fb0353b6d2147a6a010933d8e4 [diff]

feat: add `instantiateS` and variants

src/Lean/Meta/Sym.lean[diff]
src/Lean/Meta/Sym/InstantiateS.lean[Added - diff]
src/Lean/Meta/Sym/LooseBVarsS.lean[diff]
src/Lean/Meta/Sym/ReplaceS.lean[diff]
tests/lean/run/sym_instantiate.lean[Added - diff]

5 files changed

tree: 41ddd47b738e32a8364867725dc160bb2703e199

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.