90 得分

与 Coq 相比，Isabelle 校对助理的优缺点是什么？