commit: 3055bc061102d58e2c112549d4b286bdba744ae8

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

Wed Nov 13 13:24:26 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 13 13:24:26 2024 +1100
tree: 4d9171c8aefd9dcb5337aace9dd71439784f826f
parent: c3fe7ca7feb8b5664b05dad14c4b791bad273c64 [diff]

deprecations

6 files changed

tree: 4d9171c8aefd9dcb5337aace9dd71439784f826f

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