commit: bbb0f07bef49c32830b784e296cc32032cdc53cf

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

Tue Jan 28 17:47:59 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jan 28 17:47:59 2025 -0800
tree: ac4d9c052b474c2d670578a6e401a4a854e09749
parent: 189e89ab1a900bceb3df1b060c1490a47c61239e [diff]

feat: report performance counters

4 files changed

tree: ac4d9c052b474c2d670578a6e401a4a854e09749

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 (documentation source: doc/make/index.md).