Code

Add test cases about minimization#170

Code

Merged

jkingdon merged 3 commits intometamath:mastermetamath/metamath-exe:masterfrom GinoGiotto:minimizer-testGinoGiotto/metamath-exe:minimizer-testCopy head branch name to clipboardAug 6, 2024

+123

Commits

Commits on Nov 16, 2023

• add test cases about minimization

  GinoGiotto

  committed
  3441655

  Copy full SHA for 3441655

Commits on Nov 17, 2023

• corrections

  GinoGiotto

  committed
  f5de6df

  Copy full SHA for f5de6df

• typo

  GinoGiotto

  committed
  b3d544c

  Copy full SHA for b3d544c