103 得分

从柯里-霍华德同构中产生的最有趣的等价物是什么？

90 得分

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

77 得分

Can Haskell functions be proved/model-checked/verified with correctness properties?