commit: 62e83d8665662ec4c443904bb1a99bfe14bbdbe2

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

Thu Dec 05 16:39:38 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Dec 05 16:40:06 2024 +1100
tree: f37a8504522ed163759e17756ec101dbffac115a
parent: f6e88e5a0525b744c5df018dd96d2f0cbca29435 [diff]

chore: generalize universe in Array.find?

4 files changed

tree: f37a8504522ed163759e17756ec101dbffac115a

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