commit: 4236d8a85b17fe1928613a1c300f89ace40a81f5

[log]
author: Tobias Grosser <tobias@grosser.es>

Sun Aug 11 10:40:07 2024 +0100
committer: GitHub <noreply@github.com>

Sun Aug 11 09:40:07 2024 +0000
tree: 06fe2d7a62638f74b7d5c7724cfda19ef5cf8c2d
parent: 5f31e938c1bf5bb2d6d2d29b26ea932ade115357 [diff]

feat: add Std.[Associative|Commutative] instances for BitVec.[and|or|xor] (#4981)

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

1 file changed

tree: 06fe2d7a62638f74b7d5c7724cfda19ef5cf8c2d

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