4 ms·
No, metamath is. https://en.wikipedia.org/wiki/Metamathematics https://en.wikipedia.org/wiki/Metamathematics
by chestervonwinch 11y ago
No, metamath is.
https://en.wikipedia.org/wiki/Metamathematics https://en.wikipedia.org/wiki/Metamathematics