commit: 0a86d2af4dd613b7a46049e73f8ca347ce283ad8

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

Fri Jul 19 18:36:49 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 19 18:46:05 2024 -0700
tree: a0fd07f3ec60e643172a54a037309192ffaa21e9
parent: 411cb485edd88ca7634a92345e47c6e09ae3e78b [diff]

perf: add `replaceImpl`

It uses the kernel implementation.
We will replace `Expr.replace` with it after update-stage0

2 files changed

tree: a0fd07f3ec60e643172a54a037309192ffaa21e9

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 (documentation source: doc/make/index.md).