commit: 472083d44588ed0150fe24fcf7ba82513fdf0f92

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Sep 18 07:36:53 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Sep 18 07:36:53 2025 -0700
tree: 011f33524e5831e4fad74a9caed4ef0899175d61
parent: 3ce554abd7dc0baefe362a7449bba8bc970da429 [diff]

chore: missing modifier

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

1 file changed

tree: 011f33524e5831e4fad74a9caed4ef0899175d61

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.