ap.proof.goal
Trait for representing proof tasks that want to be applied as soon as some condition holds. The prioritisation of such task is right now hardcoded in TaskManager.
TaskManager
Trait for representing proof tasks that want to be applied as soon as some condition holds. The prioritisation of such task is right now hardcoded in
TaskManager
.