commit: 0932ce429b8655219e7371044fc447382da9e5f3

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Feb 28 14:29:24 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 28 14:29:24 2024 -0800
tree: 8c36b4675e5b70f886446b85cccae8352cb9d134
parent: a463d8cc9d8d04024bfafe198f6f5c3361676d8e [diff]

chore: add empty test out

tests/lean/simpArrayIdx.lean.expected.out[Added - diff]

1 file changed

tree: 8c36b4675e5b70f886446b85cccae8352cb9d134

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.