commit: 10bdf8a9d8701fea1e4851c90a0fd5f272310112

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

Fri Oct 18 11:21:17 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Oct 18 11:21:17 2024 +1100
tree: a10b8212dbe3c9a9730dd5f5b3785024872f138d
parent: d6a7eb3987c612fed2df8a986883a079f7cefcfe [diff]

chore: upstream Array.reduceOption

src/Init/Data/Array/Basic.lean[diff]

1 file changed

tree: a10b8212dbe3c9a9730dd5f5b3785024872f138d

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