程序设计
Tags
Account
登录
注册
Questions tagged «isabelle»
3
与Coq相比,Isabelle证明助理的优缺点是什么?
与Coq相比,Isabelle / HOL证明助手是否有任何弱点和优势?
68
coq
isabelle
formal-methods
By using our site, you acknowledge that you have read and understand our
Cookie Policy
and
Privacy Policy
.
Licensed under
cc by-sa 3.0
with attribution required.