Code

chore: simp tracing reports ←#2621

Code

Merged

kim-em merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom kim-em:simp_trace_invkim-em/lean4:simp_trace_invCopy head branch name to clipboardOct 15, 2023

+25-9

Commits

Commits on Oct 13, 2023

• chore: simp tracing reports ←

  kim-em

  committed
  c92da84

  Copy full SHA for c92da84

• fix test

  kim-em

  committed
  830c5d1

  Copy full SHA for 830c5d1

• Update src/Lean/Meta/Tactic/Simp/SimpTheorems.lean

  Show description for e6f41f1
  

  kim-em

  and

  digama0

  committed
  e6f41f1

  Copy full SHA for e6f41f1

• Update src/Lean/Meta/Tactic/Simp/SimpTheorems.lean

  Show description for 3a662be
  

  kim-em

  and

  digama0

  committed
  3a662be

  Copy full SHA for 3a662be

• cleanup diff

  kim-em

  committed
  517a412

  Copy full SHA for 517a412