commit: 0e3f26e6df7cd9f82ef932ec39305aa43d4a7c4a

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

Tue Nov 05 16:05:53 2024 +1100
committer: GitHub <noreply@github.com>

Tue Nov 05 05:05:53 2024 +0000
tree: 063518dae5e487828039b0a17f62596d0dfb8e52
parent: 1148e6e142b70e409f433e3aa01b0a0a684653a7 [diff]

feat: relate Array.takeWhile with List.takeWhile (#5950)

5 files changed

tree: 063518dae5e487828039b0a17f62596d0dfb8e52

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