commit: 4336047981806a82352d53fde7fe1a8624ef3920

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

Mon Jul 07 21:50:07 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jul 07 21:50:07 2025 -0700
tree: 195f3e221a8797bb911e25749bafe3c11ada7770
parent: 05630fc149dc3ac2163d94041a5f7a4aa156600e [diff]

chore: profile `grind` satellite solvers

4 files changed

tree: 195f3e221a8797bb911e25749bafe3c11ada7770

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.