Copyright (C) 1997 木下佳樹、高橋孝一、中田秀基、坂井公

使い方

命題エディタとしての機能

命題を作成は、対象と射(ノードとアーク)をつくることによって 行ないます。

証明のしかた

証明をするには、証明の対象となる命題を goal として、 証明に用いる命題を仮説として登録しなければならない。 命題は、開始点、終了点を共有する二つのパスで囲まれた領域である。

その他