commit: 6e5320314080dcbca10cdc27648afa36323df9eb

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

Sat Aug 30 13:16:12 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 30 13:16:22 2025 -0700
tree: fbf0a130d0ff1789410202eb6f74b057cb29557f
parent: 927a9a1ed6f52ff33d34274b44c8768edf960b06 [diff]

refactor: use macro

2 files changed

tree: fbf0a130d0ff1789410202eb6f74b057cb29557f

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.