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.
Обвинения США против Ирана описали фразой «строят самолет в процессе полета»08:51
。关于这个话题，Safew下载提供了深入分析
• A visual guide to strikes on Iran and Tehran’s response
ВсеПолитикаОбществоПроисшествияКонфликтыПреступность
第三十九条 损毁、涂改、遮挡或者擅自拆除、移动自然保护区界线标志的，由自然保护区管理机构责令停止违法行为、采取补救措施，可以处2万元以下的罚款；造成损失的，依法承担赔偿责任。