commit: 57e23917b605d1f1e6b6ff70aa022065d55bb60c

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

Mon Oct 09 20:45:59 2023 +1100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Oct 11 11:20:45 2023 +0200
tree: 71d6ee7325de797c97dbc0884ca72569ebb93994
parent: 14e626a925397f3bb98df071d127b5e2cd2d3b8b [diff]

fix: implementation of Array.anyMUnsafe

move test

src/Init/Data/Array/Basic.lean[diff]
tests/lean/run/1921.lean[Added - diff]

2 files changed

tree: 71d6ee7325de797c97dbc0884ca72569ebb93994

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.