私のゼミの教授が「ジョルダンの定理」をMizarで完全証明したそうな。http://www.shinmai.co.jp/news/20050928/KT050928FTI090001000022.htmゼミにいながら私は数学・mizarについてはサパーリなので詳しくは良く分からないが、１４年間の歳月を費やしたとい…