commit: cf2761d3b73d0c945a593896d7699f401b026290

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

Fri Oct 25 17:35:34 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Oct 25 17:35:34 2024 +1100
tree: 2a65339b2f5eeb747a70075f6982e152b5c86248
parent: 7150a0d5389788e0985705f163e335c7442a2aba [diff]

feat: Array.forIn', and relate to List

11 files changed

tree: 2a65339b2f5eeb747a70075f6982e152b5c86248

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