Editor)TEXのマクロproof.styと高い互換性をもつ証明図作成支援ソフトである。System上で動作する。listでは参加者を募集しています。xpeと書いたメールを送ってください。送り主のアドレスが自動的に登録されます。あてに空のメールを送ると利用案内が自動的に送付されますのでご利用ください。メーリングリストへの投稿先はxpe@logic.jaist.ac.jpです。その他、事務連絡等はxpe-owner@logic.jaist.ac.jpにお願いします。