で記号論理の証明図を書ける proof.sty なるファイルがあることを知り、早速ダウンロード。
しかし、証明図を \infer 木に変換するのはかなり面倒かも。UNIX の X Window system 上で動く xpe(X window system Proof Editor) なるツールはあるらしいが… Windows 版も作ってほしいなぁ。
と淡い期待を抱いていたら、xpe の作者である毛利さん曰く
そんな淡い期待を抱いているよりも、あきらめて UNIX を覚えましょう(笑)。私はどちらも使わないので、移植する気はないです。(中略) C で書いてしまったものはもうしょうがないですね。
だそうな。アイタタタ。
