完成って『遠アーベル幾何学の形式化とそのライブラリ構築』は
オープンエンドで完成するようなもんじゃないっしょ
数学音痴乙
一程度の進展があればプロジェクトは成功ってことでよろ