commit: ee5e5aaeda5d8308102be48a9ab3d9b82dae201a

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jun 12 17:59:47 2024 +0200
committer: GitHub <noreply@github.com>

Wed Jun 12 17:59:47 2024 +0200
tree: a427671e1887831ef3d53dd0955acd01bcb01966
parent: 561e9b9aec98614f87c18abe2a285762eeae6ede [diff]

make all conditional

2 files changed

tree: a427671e1887831ef3d53dd0955acd01bcb01966

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