commit: c1e8b88507e02175058778acad57b88771bdd77c

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

Fri Jul 19 19:59:51 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 19 19:59:51 2024 -0700
tree: 2663b4059a038576cdd3a771c676dc8d30f92c85
parent: 726e162527d966379943f632704f7b21f76ff5d6 [diff]

chore: fix `for_each_fn.cpp`

src/kernel/for_each_fn.cpp[diff]

1 file changed

tree: 2663b4059a038576cdd3a771c676dc8d30f92c85

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