commit: d146090eb14f221d4aa0e37d8dd211c7d45e7b0c

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

Wed Oct 30 16:19:03 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Oct 30 16:19:03 2024 +1100
tree: ec6fef2874b31ec209fec482436b1f197a8d066a
parent: 3450c2a8ac3a8c193d4fcc28056d0725ca3b4a1f [diff]

chore: add missing deprecation dates

6 files changed

tree: ec6fef2874b31ec209fec482436b1f197a8d066a

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