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