commit: fcc0bb610a5139e96ae89ed2331e0db1df6093f6

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

Mon Feb 26 11:37:21 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 26 12:02:08 2024 -0800
tree: 4bc5b20f5612d33f377b725554cccb9535ba29c3
parent: e73495e5a6059bfebeed65032fed2b9a1b6933c9 [diff]

fix: `simp` should not try to synthesize instance implicit arguments that have been inferred by unification

3 files changed

tree: 4bc5b20f5612d33f377b725554cccb9535ba29c3

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.