commit: ef8c9c839879dd2be0c03f304877492561d8b8f5

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

Sat Jan 11 18:44:55 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 11 18:55:19 2025 -0800
tree: fed40d6e0ee68e2bd12e9af80a87563ec44a5ead
parent: 7ea5504af26b8382ab9bd6d96508c7765f9c55b3 [diff]

fix: `simp_arith`

This PR fixes a bug in the `simp_arith` tactic. See new test.

2 files changed

tree: fed40d6e0ee68e2bd12e9af80a87563ec44a5ead

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