(copied from metamath/set.mm#966)
mmj2 (as downloaded from the metamath website) does also not work properly. I had to download the script definitionCheck.js from https://github.com/digama0/mmj2/tree/develop to avoid a huge amount of logs during startup of mmj2. @digama0 will there be an "official" new version of mmj2 in the near future?
(copied from metamath/set.mm#966) mmj2 (as downloaded from the metamath website) does also not work properly. I had to download the script definitionCheck.js from https://github.com/digama0/mmj2/tree/develop to avoid a huge amount of logs during startup of mmj2. @digama0 will there be an "official" new version of mmj2 in the near future?