commit: 0f05b233f3eb8c269b51eab76e2f4f854eff2beb

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Sat Apr 18 16:46:25 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Apr 18 16:51:10 2026 -0300
tree: 86cdc72e8e4aaca95f72e67fd491cf93530bd47d
parent: bdd489c08d45e6b15f7ff2f8de69e9f45f62438d [diff]

fix zero sized chunks

4 files changed

tree: 86cdc72e8e4aaca95f72e67fd491cf93530bd47d

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.