commit: 984d48fdd4517d5811e21f1b544dc4cf269b37f6

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

Tue May 27 11:58:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue May 27 12:00:58 2025 -0700
tree: 28764e768c1a1ed255cfde1a0bc41de0bcb81d84
parent: b74d7fe0d4d50f7cad0f2e4677371ba019b09992 [diff]

chore: fix tests

13 files changed

tree: 28764e768c1a1ed255cfde1a0bc41de0bcb81d84

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.