Hets

Hets is the heterogeneous tool set, which integrates many theorem provers.