formalise

/'fɔ:məlaɪz/ uk　

英语专业八级英语专业四级

formalise 是什么意思

中文释义

vt. 使（协议、计划等）成书面文字形式; 使成为正式, 使具有一定形式

英文释义

v make formal or official

v declare or make legally valid

formalise 的真实例句

以下例句摘自真实英文文章，看看 formalise 在自然语境里怎么用：

Now, this influence is being formalised with the launch of the UK's first official BookTok bestseller list.

—— Heated Rivalry, The Housemaid and Fourth Wing: TikTok launches BookTok bestseller list

In a separate development, Mochizuki and his colleagues have also started a project to formalise the proof using Lean.

—— The secret project to settle controversial maths proof with a computer

The primary goal was “just to settle the controversy once and for all”, says Adam Topaz at the University of Alberta, Canada, who Fumiharu recruited to help with formalising the proof.

—— The secret project to settle controversial maths proof with a computer

词形变化

同词表相邻词汇