commit: a2fb801b6e8c4c37d105e3632dccc5f3b805c63d

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

Mon Jul 15 16:32:11 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 16 08:19:55 2024 -0700
tree: fd81276a87d92fbb7815a8355da5f6491cc47824
parent: 1a9cbc96f1cbbbd2bb0092e574c5de64dc9d948c [diff]

chore: missing `profileitM`

2 files changed

tree: fd81276a87d92fbb7815a8355da5f6491cc47824

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).