commit: e9be8b9222a710b6a8e4599f33299525d7f5806b

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

Wed Jul 29 11:42:18 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Jul 29 20:23:14 2026 -0300
tree: 04a9fb9374927b74516ff5502a12944c42d8b577
parent: b07339efbe325de3591a67e32fce8c63183397e3 [diff]

feat: line iterator with memchr

3 files changed

tree: 04a9fb9374927b74516ff5502a12944c42d8b577

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.