ミザール言語というのを、証明を記述する方式としてアピール
できたのが最大の成果ではないかな。ミザール言語からTeXへ、
TeXからミザール言語へ変換するようなスクリプトやエディタ
があると、今後は普及していくかも知らん。