commit: 3fe9423d6c557265dc724276f89355be9e76c8d1

[log]
author: Kim Morrison <kim@tqft.net>

Tue Sep 22 11:41:39 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Oct 30 22:06:09 2026 +0000
tree: 44d9046a44d7b7ad7780f235c3c899c6f9e9141a
parent: db92db94e1b483ab25d75dc97fa2fdbe6bb86c45 [diff]

perf: bound kernel reduction depth for bitvector leading zero counts

6 files changed

tree: 44d9046a44d7b7ad7780f235c3c899c6f9e9141a

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.