Renumber justifications when adding or deleting lines #1
Description
The justifications in the rest of the proof remain the same when you add or delete a line. Would be nice if they were automatically renumbered.
{{ message }}
The justifications in the rest of the proof remain the same when you add or delete a line. Would be nice if they were automatically renumbered.