Tasks

The Tasks tab displays a list of proving tasks sorted by the time the task was added. Each task contains an ID number, an expression name, and a block range. For each task, a snapshot of the expression is created, which cannot be edited. The user can view it by clicking on the corresponding task:

Expressions edited on the Expressions tab do not affect snapshots of expressions on the Tasks tab, even if their names are the same.