証明モード自体への操作
Undo
1手戻す
Restart
最初からやり直す
Show
証明の状態を表示する. コマンドをごちゃごちゃしすぎて今の状態が分からなくなったときに便利.
Abort
証明を諦める. 未証明のままで証明モードから抜ける.
Search