>>86
別にFLTの論文は普通の数学者が普通に行間を補完できてるのだからそんなツールに正しさを保証してもらう必要はない。
iutは現時点で普通の数学者が行間を埋められない。
というよりおそらくそもそも通常の数学の基礎論には乗せられない。もちろんleanも通らないやろ。
頑張ってねぇ