commit: bc6f4abc138ee08391d50940c795b156a63067b1

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

Tue Sep 22 12:09:12 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Oct 30 22:06:09 2026 +0000
tree: 91206463a611f8c9b2ffb27d89ce91702c7ba6a9
parent: 3fe9423d6c557265dc724276f89355be9e76c8d1 [diff]

fix: require the compiled replacement for bitvector clz

src/Init/Data/BitVec/Basic.lean[diff]

1 file changed

tree: 91206463a611f8c9b2ffb27d89ce91702c7ba6a9

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.