commit: 7d492e8ae10e08c48af5e96d1c042fb7cfac5a17

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

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

Fri Aug 21 13:28:06 2026 +0000
tree: dbc19d98bf3bdd78e8bd3c87cc39c8eb0e6fc0a7
parent: 03d7a4efd5f74dc886ba33eab424611146d49e03 [diff]

chore: generate a usable Zulip announcement for patch releases

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

2 files changed

tree: dbc19d98bf3bdd78e8bd3c87cc39c8eb0e6fc0a7

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.