commit: 4ca5446e44fd1fe9193ddbe7dc4e803f35f512b7

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

Tue Nov 25 05:11:01 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 25 05:11:01 2025 +0100
tree: 0cb01e7746f724869378ce21076a7e7cb07e8b74
parent: e180ddab19d94ef3fc7174de0c7127a486a78990 [diff]

touch for CI

tree: 0cb01e7746f724869378ce21076a7e7cb07e8b74

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.