perf: better isDefEq cache in the presence of metavariables#8883
Open
JovanGerb wants to merge 6 commits intoleanprover:masterfrom
Open
perf: better isDefEq cache in the presence of metavariables#8883JovanGerb wants to merge 6 commits intoleanprover:masterfrom
JovanGerb wants to merge 6 commits intoleanprover:masterfrom
Commits
Commits on Sep 16, 2025
- committed
- committed
- committed
- committed
- committed
- committed
