commit: fb6c96e54bc3b27fb7d7fbd1c7c2bfa950af2837

[log]
author: Junyan Xu <junyanxu.math@gmail.com>

Sun Dec 14 06:19:29 2025 +0100
committer: GitHub <noreply@github.com>

Sun Dec 14 05:19:29 2025 +0000
tree: 112a8f469a8fc88148e5184f7b82d85fc607aeef
parent: c20378682e699f30b18155919fc0ccb03fbc19b2 [diff]

chore: expose `Nat.log2` (#11401)

Necessary for kernel reduction of `binaryRec`, see
leanprover-community/mathlib4#30144

src/Init/Data/Nat/Log2.lean[diff]

1 file changed

tree: 112a8f469a8fc88148e5184f7b82d85fc607aeef

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.