commit: d97dbbb28d7f6af4ddb3ba041fb6051cc5ece2e3

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

Tue Nov 05 12:10:53 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 05 12:10:53 2024 +1100
tree: 79fad0e10bb4e71c54bac2e821f095682fde131e
parent: a4d521cf96d4994640c42d96b693c2d789016f5f [diff]

chore: port release notes for v4.13.0 to master

RELEASES.md[diff]

1 file changed

tree: 79fad0e10bb4e71c54bac2e821f095682fde131e

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