commit: 489f2da711d3b65fe712d108df13f5ffe804f870

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

Mon Feb 19 15:15:37 2024 -0800
committer: GitHub <noreply@github.com>

Mon Feb 19 15:15:37 2024 -0800
tree: c8f8fd253f9e068159980fbd37c87fdd5177d657
parent: 75d7bc0ef1dfd703e33d22426a5345654a810101 [diff]

feat: add simproc for `BitVec.signExtend` (#3409)

2 files changed

tree: c8f8fd253f9e068159980fbd37c87fdd5177d657

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.