骄傲地介绍Coq中的函数式编程，这个语言是由Inria研究所开发的，它不仅可以让我们写出各种任务的标准数学证明…

阅读更多