commit: d21444af6e6d23526849e34bca61d9902f406a6d

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

Sat Jun 14 20:36:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 20:36:51 2025 -0700
tree: 092f402f21faa6d87a0d9164dcd4109e399f4a23
parent: 0a94c8ca0d1247d1ddb9471d5a01a2bf6d8beaa2 [diff]

chore: update tests

2 files changed

tree: 092f402f21faa6d87a0d9164dcd4109e399f4a23

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.