cousin_it comments on Formalized math: dream vs reality

[cousin_it]

Metamath does seem to me closest to the ideal. I’m still trying to make sense of this stuff now.