commit: 0070b06e10a3dc8f97dd1b46ed256e0adceb9e3d

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

Wed Jul 17 18:54:18 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jul 17 18:54:18 2024 -0700
tree: e85ba2b4b801491e752d00768ca05bf25972eb4c
parent: 4eb842560ce2c8f3b99a2f2867e87585e9159ecf [diff]

perf: ensure `Expr.replaceExpr` preserve DAG structure in Exprs

2 files changed

tree: e85ba2b4b801491e752d00768ca05bf25972eb4c

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).