commit: 816fadb57b177e22cdd7af930485edf83b8b3400

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

Wed Feb 26 16:33:16 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Feb 26 16:33:16 2025 +1100
tree: aed2b48d1cbb1ea9021c0ca3b49abf58e02b3f8b
parent: c3402b85ab96b7ceec32e0b119837913da0051d0 [diff]

feat: add Array/Vector.replace

8 files changed

tree: aed2b48d1cbb1ea9021c0ca3b49abf58e02b3f8b

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