ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/Prooftree へ行く。

*Prooftree - - 証明木を表示 [#aac7c4c1]

|メインページ|>| http://askra.de/software/prooftree/|

|参考ページ1|>| http://|

|参考ページ2|>| http://|

|概要|>|証明木を表示|

|カテゴリ|>|&soft_rcate(category/);|

|関連ソフト|>|&related2(soft/);|

|検索|>|&ins_gsearch(Prooftree);|

|ライセンス|フリー|&amazon_ad();|

|Debianパッケージ|[[prooftree:http://packages.debian.org/prooftree]]|~|

|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=Prooftree]],&soft_addpkg(Ubuntu);|~|

|RPMパッケージ|[[検索:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=Prooftree]],&soft_addpkg(RPM);|~|

|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=Prooftree]],&soft_addpkg(ports);|~|

|登録日|2013-07-16|~|


***説明 [#m2ce302a]

[[Coq>soft/Coq]]などと一緒に使う



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



----

***コメント [#x002dab8]

#comment(above)