commit: 6b1bd4599aab54f666c1998eb927a645f9fcb27c

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

Tue Aug 26 20:14:32 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 26 20:14:32 2025 -0700
tree: e68b81f1e1ac3c7ea63a4ffd0b9f68ca04c3ba8d
parent: a772e0cfa6095526827ecda7fb407054c8ed0d90 [diff]

avoid unnecessary erase_dup steps

2 files changed

tree: e68b81f1e1ac3c7ea63a4ffd0b9f68ca04c3ba8d

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.