let task_for = function | AltErgo91 -> AltErgo.prove false | AltErgo92 -> AltErgo.prove true | Why dp -> SMT.prove dp | Coq -> Coq.prove | Coqide -> Coqide.prove | WP -> fun _ _ -> Task.return Unknown