commit: eb896cabfaaf0c63cf915daaec1af7f4325ab542

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

Mon Feb 17 15:37:00 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Feb 17 15:37:00 2025 +1100
tree: 2d7747a1a8a5a8be1f196e88466d118d66437fd0
parent: 353eaf70140e4b43c7aa4d3213d47b2519ae2e24 [diff]
parent: 6a17e6252335f2594f693469fd29fde50c39da25 [diff]

Merge remote-tracking branch 'origin/master' into align_extract

tree: 2d7747a1a8a5a8be1f196e88466d118d66437fd0

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