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.
Мать 68 дней оборонявшего позиции бойца СВО рассказала о его обещании перед заданием20:42
Ранее фармацевтические ассоциации назвали идею разрешить продавать лекарства в отделениях «Почты России» нарушающей законодательство в части монополий и недобросовестной конкуренции, а также опасной для здоровья населения из-за отсутствия у сотрудников нужных компетенций.，推荐阅读新收录的资料获取更多信息
Что думаешь? Оцени!
。业内人士推荐新收录的资料作为进阶阅读
Tested on Debian GNU/Linux 12. Note that this Debian version ships with ruby version 3, while fontcustom was written for ruby version 2, and is incompatible with later versions (e.g. syntax errors). A ruby install also requires a compatible OpenSSL version. Therefore, RVM can be used to manage both ruby and a local install of OpenSSL.，更多细节参见新收录的资料
Что думаешь? Оцени!