commit: 33144b6365b2d75976eb3153e74b5e1ed9582947

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

Mon Aug 04 04:38:51 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Aug 04 04:38:51 2025 +0200
tree: aa204d8c183e611ead665793feff50c4aebe6539
parent: 8f575bf9868a11f7d74bbcf2e1b26c30a5b8a85e [diff]

chore: update release_repos.yml

script/release_repos.yml[diff]

1 file changed

tree: aa204d8c183e611ead665793feff50c4aebe6539

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.