IsaPlanner とは

IsaPlannerは、インタラクティブ・プルーフ・アシスタント、Isabelleのプルーフ・プランナーです。元々エジンバラ大学で博士論文の一環としてルーカス・ディクソンによって開発されましたが、現在はエジンバラの情報学部の数学的推論グループのメンバーによって管理されています。 IsaPlannerは、エジンバラで書かれた一連の証明プランナーの最新版です。初期のプランナにはClamとLambdaClamがあります。