commit: 6a69b7eb67aa08abad4453d54f67ee5bb9ff8e10

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

Mon Sep 30 10:40:03 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 30 10:40:03 2024 +1000
tree: 2c0d2fa39c23483c3e483ca25bee04d1ceb83457
parent: c5fd6527651b10121dc6d373cbc721d366bbe769 [diff]

chore: reduce use of deprecated lemmas in Array

2 files changed

tree: 2c0d2fa39c23483c3e483ca25bee04d1ceb83457

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