4 ms·
FYI, the current publicly-available code for Metamath Zero is here: https://github.com/digama0/mm0 https://github.com/digama0/mm0
by dwheeler 7y ago
FYI, the current publicly-available code for Metamath Zero is here: https://github.com/digama0/mm0 https://github.com/digama0/mm0