commit: e7637991ad78e48e0c3989cf9818557e66859cfd

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

Sun Jun 01 10:23:08 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jun 01 10:23:08 2025 -0700
tree: 0db39e677d95cb3a523a30585e9a91515b9a28fd
parent: 5523943ba42033994f1d212945e88c207efb1d5e [diff]

chore: update tests

6 files changed

tree: 0db39e677d95cb3a523a30585e9a91515b9a28fd

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.