Code

perf: improve heuristic at isDefEq#3837

Code

Merged

leodemoura merged 2 commits intomasterleanprover/lean4:masterfrom 3807_slowdownleanprover/lean4:3807_slowdownCopy head branch name to clipboardApr 22, 2024

+2,580-13

Commits

Commits on Apr 21, 2024

• chore: add test case exhibiting slowdown post #3807

  Show description for 37a4639
  

  kim-em

  authored and

  leodemoura

  committed
  37a4639

  Copy full SHA for 37a4639

• perf: improve tryHeuristic at ExprDefEq.lean

  leodemoura

  committed
  c4d2ff3

  Copy full SHA for c4d2ff3