commit: 035b6153bd2385359a417043d8acc53047bdeaee

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

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

Mon Feb 26 11:49:18 2024 -0800
tree: 0727c3c0232d0e66aa7291ff154ed88edb673711
parent: e73495e5a6059bfebeed65032fed2b9a1b6933c9 [diff]

fix: rewrite tactic should not try to synthesize instances that have been inferred by unification

2 files changed

tree: 0727c3c0232d0e66aa7291ff154ed88edb673711

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.