commit: 0936bde1101dd073ab3be75ed01886642bb30e27

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

Tue Sep 22 05:47:46 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 22 05:47:46 2026 +0000
tree: 4cdb5eb64d6110f58847d48995adba15b1a648e4
parent: e02e4d0e90c56b5f62cfea147a291e6b2651d2f2 [diff]

feat: relate bitvector trailing-zero counts to natural trailing zeros

3 files changed

tree: 4cdb5eb64d6110f58847d48995adba15b1a648e4

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.