commit: ba83d7b7fa1c3932a93e1bd92d7d0ee559419338

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

Thu May 16 10:57:56 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 16 12:18:01 2024 -0700
tree: 3bd163868a4a04ff70f437b2a8e15610141afbb8
parent: 8298b473b8082fc226f934356d5cc52537a9689f [diff]

feat: simprocs for applying `shiftLeft_shiftLeft` and `shiftRight_shiftRight`

only when the shifts are literals

2 files changed

tree: 3bd163868a4a04ff70f437b2a8e15610141afbb8

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