那些遇到过的问题

小编ely*_*ner的帖子

与Coq相比,Isabelle证明助手有哪些优点和缺点？

与Coq相比,Isabelle/HOL证明助手是否有任何弱点和优势？

formal-methods coq isabelle

ely*_*ner
2015 05-11
63
推荐指数
3
解决办法
8900
查看次数

标签 统计

coq ×1

formal-methods ×1

isabelle ×1