commit: fd68e4d619d13e3a9dde19a62c65752421a1dc42

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

Wed Sep 25 10:48:27 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 25 10:48:27 2024 +1000
tree: a1ef4c47ce88dcabc78c87158078c62414f5faa0
parent: ea75c924a1ab4bb25f4d2e144a141f899da7ba32 [diff]

chore: missing BitVec lemmas

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

1 file changed

tree: a1ef4c47ce88dcabc78c87158078c62414f5faa0

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