commit: 059c49e84ed8f3ce13291aa5beff92776caa155a

[log]
author: Kim Morrison <kim@tqft.net>

Wed Sep 25 16:39:16 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 25 16:39:16 2024 +1000
tree: d071c89db79409527a90fd8208a667a7db99268f
parent: 43d7e479333b25a6fd471b6f2327611b102a16d1 [diff]

deprecation

3 files changed

tree: d071c89db79409527a90fd8208a667a7db99268f

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