commit: d2017b56ee8b301e82b1c8b3134122da5a321a8f

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 01:19:03 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 01:19:03 2024 +1100
tree: 18773fa08ef4d8ab4a1506fab958c860667ef4ae
parent: 093e1cf22a3090479c97536585e56888fb5e6f30 [diff]

feat: lemmas about BitVec

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

1 file changed

tree: 18773fa08ef4d8ab4a1506fab958c860667ef4ae

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.