commit: 3450c2a8ac3a8c193d4fcc28056d0725ca3b4a1f

[log]
author: えび (ebi_chan) <spinylobster@outlook.com>

Wed Oct 30 08:46:17 2024 +0900
committer: GitHub <noreply@github.com>

Tue Oct 29 23:46:17 2024 +0000
tree: 5902f5ccafc4b4c9aae2c922b80303fbc74651a8
parent: 95d3b4b58f4f2e2b65951a537ab46618031341a6 [diff]

feat: add Nat.log2_two_pow (#5756)

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

1 file changed

tree: 5902f5ccafc4b4c9aae2c922b80303fbc74651a8

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).