commit: 8cce6ac6aa3b3a36dd97a83c65647b8423ba54e4

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

Sat Jan 04 11:58:34 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Jan 04 11:58:34 2025 +1100
tree: 59a0354e113df52b888bf20ad1f094da0c81a975
parent: 9a53c88ecffc69e90341efbfac8522ebc3d3c3f3 [diff]

feat: add script for generating release notes

script/release_notes.py[Added - diff]

1 file changed

tree: 59a0354e113df52b888bf20ad1f094da0c81a975

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