commit: 29d62b959dcb81b04d71017701bbec0e5067cf51

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

Tue Jan 28 11:51:45 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 28 11:51:45 2025 +1100
tree: 449068eee6f1fbfe1d34d2fc5ef42802f440322e
parent: 69a73a18fbfa1fc045bfbf1c4cf93b155d4c9387 [diff]

chore: two BitVec lemmas that help simp confluence

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

1 file changed

tree: 449068eee6f1fbfe1d34d2fc5ef42802f440322e

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).