commit: 8d789f7b63664d2b3128193f509d85862433252a

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

Mon Oct 21 15:38:29 2024 -0700
committer: GitHub <noreply@github.com>

Mon Oct 21 22:38:29 2024 +0000
tree: 18fbe267431604dadcb9eff668b802a671d3dac1
parent: 82d31a1793143c65ccb88f484de8d06001ccb3b3 [diff]

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg (#5772)

This also requires us to expand the theory of `Int.bmod`.

---------

Co-authored-by: Alex Keizer <alex@keizer.dev>

2 files changed

tree: 18fbe267431604dadcb9eff668b802a671d3dac1

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