Code

fix: improve isDefEqProj#3977

Code

Merged

leodemoura merged 2 commits intomasterleanprover/lean4:masterfrom 3965_regressionleanprover/lean4:3965_regressionCopy head branch name to clipboardApr 23, 2024

+318-3

Commits

Commits on Apr 23, 2024

• chore: record regressions from #3965

  

  kim-em

  authored and

  leodemoura

  committed
  6e02421

  Copy full SHA for 6e02421

• fix: improve isDefEqProj

  Show description for a6240a9
  leodemoura

  committed
  a6240a9

  Copy full SHA for a6240a9