Yellow: A scrounger
Were I to do this, I'd pick Metamath. Or maybe Metamath Zero, which has around the same level of abstraction as Metamath but is shaped more like a common CPU than a string-rewriting system.
，这一点在新收录的资料中也有详细论述
You can also send us your questions by following this link
Мир Российская Премьер-лига|20-й тур