Tactic {{runningTask.lastStep}} is executing, please wait...

Proof is loading, please wait...
Searching for counterexample, please wait...
{{task.name}} {{task.id}}

Proof Programming

Fresh steps
Replace {{tactic.tacticDel}} with