You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
fix: rewrite tactic should not try to synthesize instances that have been inferred by unification#3509
Merged
leodemoura merged 1 commit intomasterleanprover/lean4:masterfrom rw_simp_issueleanprover/lean4:rw_simp_issueCopy head branch name to clipboardFeb 26, 2024
