commit: f41b9d2e55b6a54b3727d9131e3079f1e8c6634c

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Aug 01 11:26:47 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Tue Mar 03 22:33:48 2026 +0000
tree: 2fccc635c4bceb7e9fde636b6911b10f2c5dd7ba
parent: 530925c69b15c3bbe3af4ba1380e11f581be8cba [diff]

perf: inline a few trivial Array functions

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

1 file changed

tree: 2fccc635c4bceb7e9fde636b6911b10f2c5dd7ba

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.