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