commit: d433093a3b3211eb5c10e4308c667a778cc2ba9a

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

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

Tue Mar 05 15:19:44 2024 +1100
tree: dfd7c8d75661743386a5ae09bc94d4bba80c9caf
parent: 77e21f2a6aaf6b9c9a4910abcd35238dceeb0054 [diff]

more theorems

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

1 file changed

tree: dfd7c8d75661743386a5ae09bc94d4bba80c9caf

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.