commit: 19dccedc2f0e70797b353299911a1f0e9d936e79

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

Wed Jun 25 12:46:52 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 25 12:46:52 2025 +1000
tree: 2ce656141325e1a5ec62724e5ae5a0373e41a32a
parent: 311ae6168d4da8548bdd32c827295fabf0db60b4 [diff]

chore: cleanup of grind in BitVec/Lemmas

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

1 file changed

tree: 2ce656141325e1a5ec62724e5ae5a0373e41a32a

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.