commit: 67d4f9a1ef2df11f9114cd99c4e2bde11b18b16e

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

Fri Feb 06 00:26:02 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 06 00:26:02 2026 -0800
tree: b18a102f2df849e2ae138b9db8711bf2cf0fbefe
parent: d3e4bc7966035a4cdf7322259147c4733a540d81 [diff]

chore: fix test

2 files changed

tree: b18a102f2df849e2ae138b9db8711bf2cf0fbefe

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.