commit: 03f8c5a99d5c3d32cad6241941738a15e2dab69e

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

Tue Mar 04 22:24:21 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Mar 04 22:24:21 2025 +1100
tree: ec901ebc86e9de46a876876718b8f7fd2e332f07
parent: aa8faae5766b3f7003774d5d01d6af0a69a39622 [diff]

fix: indenting in release notes script

script/release_notes.py[diff]

1 file changed

tree: ec901ebc86e9de46a876876718b8f7fd2e332f07

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