3 ms·Would you be willing to elaborate on what you find to be strengths of Metamath Zero?by zmgsabst 4y agoWould you be willing to elaborate on what you find to be strengths of Metamath Zero?