install-toy-proofs-0.1.sh (install-toy-proofs-0.1.sh( 外部リンク: SF.net): 13,178 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
どこで最も数学証拠ソフトウェア集中形式論理 (またはいくつか他の専門分野の数学) よろめく数学証拠を学習のためのソフトウェアは本当に汎用で、attracitve ユーザー インターフェイスを目指しています。
