commit: 40698c69b87eafe1127313db544ce046b2ad2ce6

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

Tue Jul 02 12:38:51 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 02 12:38:51 2024 +1000
tree: 19733f05671d7be0c45c9bcf9f57e04c11fe583b
parent: 1681b2fa677d2c5dee1cdcd5f9bd1b47d841d8f0 [diff]

chore: add 'since' dates to deprecated

10 files changed

tree: 19733f05671d7be0c45c9bcf9f57e04c11fe583b

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