commit: 6a5059dfbfdbc743765023bcb3ebd1809a474c92

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

Fri Aug 21 13:41:50 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Aug 21 13:41:50 2026 +0000
tree: b0b353185e754276adb377e4f3358959c1a91ac3
parent: b9bb19756504625dddbe662f5dfb5b3cb3d8aa5c [diff]

chore: resolve the author via git and validate it

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015yUFNwqRriom2AeWwvjUe8

script/release/release_notes.py[diff]

1 file changed

tree: b0b353185e754276adb377e4f3358959c1a91ac3

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.