本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧,同时兼顾应用软件 ... Coq的主要用途在于两方面,一方面是用于形式化数学(Formalized Mathematics)的 ...
確定! 回上一頁