Russia has been making slow advances in the battlefield, but Ukraine also says it is reclaiming more land seized by the Russians.
so I wanted to include an update on that here.
，更多细节参见heLLoword翻译
Более 100 домов повреждены в российском городе-герое из-за атаки ВСУ22:53
It could also translate to Lean and then prove some properties about programs in this language when just given the Rocq statement (without proof):
Выигравший Паралимпиаду российский лыжник поздравил со своей победой Путина14:50