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