ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • Prooftree
広告

Prooftree - - 証明木を表示

メインページ http://askra.de/software/prooftree/
参考ページ1 http://
参考ページ2 http://
概要 証明木を表示
カテゴリ [科学・技術/数学・統計学 ]
関連ソフト --
検索 ProoftreeをGoogleで検索
ライセンス フリー
Debianパッケージ prooftree
Ubuntuパッケージ 検索 ,
あればパッケージ登録→
RPMパッケージ 検索 ,
あればパッケージ登録→
FreeBSD Ports 検索 ,
あればパッケージ登録→
登録日 2013-07-16

説明

Coq などと一緒に使う

http://askra.de/software/prooftree/nth_error_split.jpeg


コメント

広告