-
MARCHE Claude authored
this allows to remove them using clean or remove in other words, in the session data structure, a result None now really means that a prover is in progress
e8adc7c0
this allows to remove them using clean or remove in other words, in the session data structure, a result None now really means that a prover is in progress