let all_provers () =
  [ AltErgo91 ; AltErgo92 ; Coq ]