commit: 872f500d5f1920bce30180d64e82703c6f4e989f

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Apr 17 11:46:25 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Fri Apr 17 11:46:25 2026 +0000
tree: 1f64ad707bdbf5d435422b7a0b26f59c22b9dc3c
parent: 3fc99eef102549c743c6c63547983319bfae6f01 [diff]

perf: simdutf8

5 files changed

tree: 1f64ad707bdbf5d435422b7a0b26f59c22b9dc3c

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.