RAIRLab/Peirce-My-Heart

Empty Node in the history

Closed this issue · 0 comments

James-Oswald commented

Have an empty node at the start of the proof history that can be backtracked too IF you do not start with a paste.