Code

--verify-parse-stmt does nothing#171

Code

Merged

tirix merged 1 commit intomainmetamath/metamath-knife:mainfrom verify_parse_stmtmetamath/metamath-knife:verify_parse_stmtCopy head branch name to clipboardOct 28, 2024

+16-11

Commits

Commits on Oct 28, 2024

• --verify-parse-stmt does nothing

  digama0

  committed
  cf8254c

  Copy full SHA for cf8254c