commit: 55444c67f9ec5d0ba1142d869e84b5dda8854ae1

[log]
author: Kim Morrison <kim@tqft.net>

Tue Feb 18 22:11:15 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Feb 19 08:47:58 2025 +1100
tree: 61fedd8f79dc181203761dd40b8e23cd30a26e87
parent: fe19b1889edc7a5ead597aea30e26d09776737d5 [diff]

chore: deprecate Array.get

fix test

9 files changed

tree: 61fedd8f79dc181203761dd40b8e23cd30a26e87

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