commit: aade4b1749ef2ee288b31e620717e20657411d93

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

Mon Sep 22 13:57:33 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Sep 22 13:57:33 2025 +0200
tree: d7a0d646033b9ed57a2d0d7fb85ad11d65333cbd
parent: a4dcb25f69e020bcd0328ff189cad5be40159edc [diff]

chore: normalize empty ByteArrays to .empty

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

1 file changed

tree: d7a0d646033b9ed57a2d0d7fb85ad11d65333cbd

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.