commit: 32a8d7e008539c1d13dbcb762d4574189845f434

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

Mon Dec 02 16:35:41 2024 +0100
committer: Henrik Böving <hargonix@gmail.com>

Mon Dec 02 16:36:34 2024 +0100
tree: 302bde7b307abf551b2d9155e46378785f83201e
parent: 0b8f50f78d9bb94c5034a5044e662b0b8e37e7ca [diff]

perf: bv_decide use Lean.RArray

4 files changed

tree: 302bde7b307abf551b2d9155e46378785f83201e

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