Make Proving cancable in Python GUI #2164
Description
When proving goals, the process cannot be interrupted in the Python GUI. It should be possible to stop the prover processes
{{ message }}
When proving goals, the process cannot be interrupted in the Python GUI. It should be possible to stop the prover processes