commit: d51ed258405cdcb4c2ba2650f8bf1edfa524b9a9

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

Mon Feb 19 12:19:24 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 19 13:33:11 2024 -0800
tree: 553fffc4bff7e7808758a1b4ab9193308d4bc925
parent: 067913bc36b50fa8912b6f9e16d981c717889359 [diff]

feat: `BitVec` simprocs

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.