commit: 29cc25963f3ca0ec0a2eb6ef7c0b41889c9aa773

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

Thu Jul 18 09:05:55 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jul 18 09:07:38 2024 -0700
tree: ee4323e25f53016bc18e90dc46304c0ba3abf359
parent: a94805ff71f7576ee014aafc76b29e29b066bd80 [diff]

chore: document `replaceUnsafeM` issue

src/Lean/Util/ReplaceExpr.lean[diff]

1 file changed

tree: ee4323e25f53016bc18e90dc46304c0ba3abf359

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