commit: 87f94f22975c44436473ab249f88d2c9b2d6c4f4

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

Wed Nov 20 11:43:16 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 20 11:43:16 2024 +1100
tree: 8e93d0680e7f7ee7dc8bb82e9adb06ae87fdb4b9
parent: 287dc6de43d390515ae62a77a0f7228e91c56098 [diff]

add find?_pmap

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

1 file changed

tree: 8e93d0680e7f7ee7dc8bb82e9adb06ae87fdb4b9

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