commit: 5930db946cd91bbdf8115c4ce06173d27530fe5c

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

Sat Dec 28 23:58:09 2024 +0100
committer: GitHub <noreply@github.com>

Sat Dec 28 22:58:09 2024 +0000
tree: 9de7ddafc036823dd0d63355cf03c435440999e5
parent: 3fc74854d760a75932e1600b0380c3aa166033dd [diff]

fix: `Int.reduceNeg` simproc (#6468)

This PR fixes issue #6467 


closes #6467

2 files changed

tree: 9de7ddafc036823dd0d63355cf03c435440999e5

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