commit: 250c183bbd69fae2392bb092c4078c8db52cb39e

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

Tue Sep 24 21:58:47 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 24 21:58:47 2024 +1000
tree: ca091cebe00a0244fc7fa32c3df3d76aa5f2321c
parent: 6722bc3f771dc6f0e9723e3b2adbc6d04326a7fa [diff]

rfl proof

src/Init/Data/Array/Lemmas.lean[diff]

1 file changed

tree: ca091cebe00a0244fc7fa32c3df3d76aa5f2321c

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