従来のGUIシステムは、証明が終了してから起動され、証明木の描画を行って いた。したがって、証明が終了しないと証明木を観ることができなかった。こ の点を改良し証明木のリアルタイム表示を行うために、証明推論部と描画部を マルチスレッド化し、証明途中でも証明木を観ることができるようにした。ま た、証明の中断・再開、中断時の証明木ナビゲーション機能も実現した。
