Was sind die Stärken und Schwächen des Isabelle Proof Assistant im Vergleich zu Coq?

Hat Isabelle / HOL Proof Assistentin Schwächen und Stärken gegenüber Coq?