Coq中函数编程的类型类、数据类型和定理。Typeclasses, datatypes and theorems for functional programming in Coq. (2019-08-05, Coq, 18KB, 下载0次)