commit: 2a080e72879fdba5179905daf7edfecf6d9ff713

[log]
author: Rob Simmons <rob@lean-fro.org>

Wed Dec 10 09:07:00 2025 -0500
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Wed Jan 07 15:21:17 2026 +0100
tree: 9ccc08bedf2fddcc5d8a7649d486952cbbb3d81d
parent: ff87bcb8e57caeee38aa1dd05a212c0b2c51a902 [diff]

feat: suggestions for some size/count/length confusions

13 files changed

tree: 9ccc08bedf2fddcc5d8a7649d486952cbbb3d81d

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.