commit: d9560e2e494f46d0a4616dc5f38798f8e9bbe231

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

Sat Jun 21 11:24:50 2025 +0900
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 21 11:24:50 2025 +0900
tree: c3713be8193a71043559776fe9d2fa4c97d5e324
parent: 7050dc6d3876c85477ccbddb1eb88bfde35b8a2f [diff]

chore: remove staging workarounds

3 files changed

tree: c3713be8193a71043559776fe9d2fa4c97d5e324

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.