commit: 1458dd335708265285e7a56e064f9217c34f8516

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

Mon May 12 11:38:00 2025 -0400
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 12 11:38:00 2025 -0400
tree: d1abe43668f356fe9b6b7122352d2f218e99aef9
parent: eda467e06669e0a315927f613cde23988495b87b [diff]

fix: missing `foldProjs`

2 files changed

tree: d1abe43668f356fe9b6b7122352d2f218e99aef9

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