commit: c8b4f6b511725056b5d0a13ba856fe33a4782c35

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Wed Nov 20 12:16:48 2024 +1100
committer: GitHub <noreply@github.com>

Wed Nov 20 01:16:48 2024 +0000
tree: aa34352e229d156134ae4aa980df382ab3beaf42
parent: 3c7555168d39ea31041c4f06fe9bffe389b9622b [diff]

feat: duplicate List.attach/attachWith/pmap API for Array (#6132)

This PR duplicates the verification API for
`List.attach`/`attachWith`/`pmap` over to `Array`.

8 files changed

tree: aa34352e229d156134ae4aa980df382ab3beaf42

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