Proof Restart
We need an option to execute the proof with a new proof state. This means, that we need to clone or reset the loaded proof.
In contrast to Execute from cursor
, which reuses the old interpreter state.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
We need an option to execute the proof with a new proof state. This means, that we need to clone or reset the loaded proof.
In contrast to Execute from cursor
, which reuses the old interpreter state.