天が落ちてくる心配はやめましょう。みなさん、Mizar（でなくて他の証明検証系でも同じだけど）をかいかぶりすぎ。今のMizarがそのままツールとして普及するはずはありません。そのような未来を心配する必要はありません。Mizarプロジェクトでわかったことは…