commit: df74ddd6a2bb2a4f559ce8b10a299ef7e0563e7e

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

Mon Jan 20 14:44:29 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Jan 20 14:44:29 2025 +1100
tree: 41a5e8acafe7a14f35a20a0115468d824d41e4ea
parent: acb67121895284c105e433858124177acad6ad32 [diff]

finish

3 files changed

tree: 41a5e8acafe7a14f35a20a0115468d824d41e4ea

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