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.
Credit: Soucolor / Amazon
，推荐阅读safew官方版本下载获取更多信息
-config: Config
Нэшвилл Предаторз