プログラム lurch.sf.net

数学的証明を教え、学習するためのソフトウェアほとんどの数学的証明ソフトウェアが正式な論理(または数学の他の専門分野)に集中している場合、Lurchはattracitveユーザーインターフェイスを備えた真の汎用的な目的を目指しています。