commit: 7c8991a0ab6d3b4a57b9d5c7bdfffe8db47d8672

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

Tue Dec 10 11:50:43 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Dec 10 11:50:43 2024 +1100
tree: ad98925a00aa1534edbbbbf207505cbd44b9041e
parent: c7b8c5c6a6073bb82916bbbe76f71a710d2dee87 [diff]

chore: improve BitVec ext lemmas

5 files changed

tree: ad98925a00aa1534edbbbbf207505cbd44b9041e

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