commit: 52f14e11b05e8e1667d9721041517054cb41cddf

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

Mon May 06 12:51:20 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 06 13:01:52 2024 -0700
tree: d6b03ce99a4ed1f1118bd94133785c5d4dea93df
parent: 00dceb9a9d92b83dafcf59179f399dcf5ce5b5e4 [diff]

feat: collect kernel diagnostic information

10 files changed

tree: d6b03ce99a4ed1f1118bd94133785c5d4dea93df

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