В России прокомментировали отказ Трампа от предложения Путина по Ирану01:39
The reason we have a tool that directly translates from Lean to Rocq (lean4export + rocq-lean-import) and don’t have a tool in the other direction is a bit of a historical accident:，详情可参考51吃瓜
。关于这个话题，谷歌提供了深入分析
В Иране раскрыли главные просчеты США в конфликте14:48
Methodology and Tools。关于这个话题，超级权重提供了深入分析