commit: 77c7c686e8a16f26ecf539f7e279aa6288582d75

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

Tue Feb 04 09:59:45 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 04 09:59:45 2025 +1100
tree: 5cdf7b3edbdcc245896c7648de4713baea34795a
parent: 142874d86392450eb91545cdaa831c4b3b87b4d7 [diff]

chore: report total commits by category in release notes

script/release_notes.py[diff]

1 file changed

tree: 5cdf7b3edbdcc245896c7648de4713baea34795a

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