commit: 5d9552d66c0caebf54c722d6512cb6516318289c

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 19 14:01:00 2024 -0800
committer: GitHub <noreply@github.com>

Mon Feb 19 14:01:00 2024 -0800
tree: 553fffc4bff7e7808758a1b4ab9193308d4bc925
parent: 067913bc36b50fa8912b6f9e16d981c717889359 [diff]

feat: simprocs for `BitVec` (#3407)

src/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean[diff]
src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean[Added - diff]
tests/lean/run/bitvec_simproc.lean[Added - diff]

3 files changed

tree: 553fffc4bff7e7808758a1b4ab9193308d4bc925

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.