let pp_prover fmt = function
| AltErgo92 -> Format.pp_print_string fmt "Alt-Ergo"
| AltErgo91 -> Format.pp_print_string fmt "Alt-Ergo(91)"
| Coq -> Format.pp_print_string fmt "Coq"
| Coqide -> Format.pp_print_string fmt "Coqide"
| Why "" -> Format.fprintf fmt "Why"
| Why smt -> Format.fprintf fmt "Why(%s)" smt
| WP -> Format.fprintf fmt "WP"