commit: 47f3e6bb92015997df72ac88bf53806b52606642

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

Mon Apr 01 13:45:14 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 01 14:16:35 2024 -0700
tree: af7e86c48a5f4809e352e78df19f186ac425cec6
parent: 34d89766467a6e45d91e1b29f1ab8362d240f0d5 [diff]

chore: fix bad `(<- ...)` occurrences

Remark: some of them were harmless since they were accessing some
read-only state.

10 files changed

tree: af7e86c48a5f4809e352e78df19f186ac425cec6

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.