commit: e721d58da9d3ad5c5b6045e7f4dbb65b9aca0649

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Thu Jan 11 16:27:33 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Jan 11 16:27:33 2024 +1100
tree: 1fecb007f59c3a4840550968589dbc8729da0823
parent: df663c83905bf5f58f07d12cc6d31b78acdf2885 [diff]

move deprecations to Init/Notation

2 files changed

tree: 1fecb007f59c3a4840550968589dbc8729da0823

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.