commit: 8ff59818ace900708ea0ae77266de6930c3d0547

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

Thu Sep 18 17:16:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 18 17:16:19 2025 +1000
tree: e8a3e62445fd6bbcdb3cbd97bbab9a9ed8f40cbd
parent: 4379002d0582ae96d7fc6ccf5921ff4e9aa7239e [diff]

chore: update script/release_notes.py for changelog-tactics

script/release_notes.py[diff]

1 file changed

tree: e8a3e62445fd6bbcdb3cbd97bbab9a9ed8f40cbd

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.