Tactical proof is running, please wait...

{{runningTask.currentStep.ruleName}} ({{runningTask.currentStep.duration}}ms)

{{runningTask.info}}

Branch closed

Reproving intermediate details, please wait...

Proof is loading, please wait...
Searching for counterexample, please wait...
Searching for ODE conditions, please wait...
{{taskPrefixLabel(task.id)}} {{taskPostfixLabel(task.id)}} : {{taskPrefixLabel(task.id)}} {{taskPostfixLabel(task.id)}} :
{{taskPrefixLabel(task.id)}} {{taskPostfixLabel(task.id)}} : {{taskPrefixLabel(task.id)}} {{taskPostfixLabel(task.id)}} :
Fresh steps Execute:
Replace {{tactic.tacticDel}} with Execute: