commit: 0de0b095c80ed29e367259198c8de9716726979f

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

Mon Oct 06 17:43:24 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Mon Oct 06 17:43:24 2025 -0300
tree: ffbebd706c25b0cb6dc57435d817e386605439cf
parent: 13050f6a06ee8c6c3e28fe0c47d070b8f2d5aed2 [diff]

fix: comment

src/Std/Sync/StreamMap.lean[diff]

1 file changed

tree: ffbebd706c25b0cb6dc57435d817e386605439cf

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.