以前，mathlibre の wiki に書いたものです（wiki はサーバーのトラブルで最近の記事が消えています） *maxima からの利用 「qepmax」パッケージをロードすると，maxima 上から QEPCAD B が利用できます． 論理記号 %implies %replies %eq %or %and %neg A E…

*JAPE JAPE（Ｊ∀Ｐ∃）はユーザーが論理体系，理論をコード化し，証明図（Fitch diagrams，Gentzen trees）やcounter model（Kripke diagrams）を簡単なマウス操作により作成できるproof calculatorです． // - Japeカーネルにコード化の仕様（テキストファイ…