commit: d53c109a2da315f911c5b216f52276ebe8a39ddb

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Tue May 20 18:30:32 2025 -0700
committer: Cameron Zwarich <cameron@lean-fro.org>

Tue May 20 18:30:32 2025 -0700
tree: 58fc5e4589a9fdf04523ea5b961077e713ad88cc
parent: 6defa9c91e8d88055dc58f75c8f816de2ea0f788 [diff]

workaround for stage 3

src/Init/Data/Vector/Extract.lean[diff]

1 file changed

tree: 58fc5e4589a9fdf04523ea5b961077e713ad88cc

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.