commit: 29ff22c5602c8e1d4325d1884293879ba9486268

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

Sun Nov 24 19:22:52 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Nov 24 19:23:21 2024 +1100
tree: f80e0a9b365d0ebf1fa0a002b9106559eb0cd584
parent: ba3f2b3ecf8967410f3498e2835b883601f03967 [diff]

chore: rename Array.setD to setIfInBounds

6 files changed

tree: f80e0a9b365d0ebf1fa0a002b9106559eb0cd584

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