Mizarって言う定理証明支援システムがあるの知ってる？
その言語で数学の論文書くと証明をチェックしてくれるんだってさ。
いまそれでチェック済みの論文がデータベース化されていて、
そこで既に証明済みの定理も新しい定理の証明に使用できてそれをまたチェックできるんだって。

ttp://www.cs.ru.nl/~freek/mizar/

ただしその言語での論文は通常の4倍くらいの長さになるそうな。