commit: e88f851c8dda27eb075a75d496455248da9624e5

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

Tue Mar 11 08:59:52 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Mar 11 08:59:52 2025 +1100
tree: 29447b3f742eee30f689d294599591574d0c9c9e
parent: 905b2eedcde628467eed419c6c004ada0b308ab3 [diff]

doc: reference mkEmpty in Array doc-string

src/Init/Prelude.lean[diff]

1 file changed

tree: 29447b3f742eee30f689d294599591574d0c9c9e

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