commit: a7ca25ab0ade52d2f38e5096ea3944d59a9f2388

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

Thu Oct 16 16:10:59 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Oct 16 16:10:59 2025 -0700
tree: 121e12dcd8fb5c6c898cca4b9b636c27e9a09fa1
parent: effde06296ad42809aafe9d3667f4e6e46c6442f [diff]

refactor: move `truncateAnchors`

2 files changed

tree: 121e12dcd8fb5c6c898cca4b9b636c27e9a09fa1

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.