プログラム jape.sf.net

Japeは、設定可能なグラフィカルフォーマルプルーフ電卓です。ロジックを定義し、ユーザーが自分の証明をどのように表示するかを決定することができます。それは、配列積分と自然控除の変種で動作します。マック, Unix, ウィンドウズ.