commit: 2578074e9b22ebaabed089769595db17f49de5b0

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

Mon Jan 05 16:56:06 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 05 16:56:06 2026 -0800
tree: 8f9e9fec2b4f21e57e6771bc3698c7d4ed3913b9
parent: 83860cfb9ac9d78b9798935fdf5a93119ff6d10b [diff]

chore: fix benchmarks

3 files changed

tree: 8f9e9fec2b4f21e57e6771bc3698c7d4ed3913b9

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.