>>752 は文章を読めない人ですね
学長が

＞本プロジェクトの目的は二つです。

の他にも

＞詳細については、後ほどZMC所長であり本プロジェクト
＞の推進を担う加藤文元教授が行います

って言ってんだから、学長の主張も加藤文元教授の言う通り

＞第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築です。

IUTは第２な