coq-exercises:Coq 课程练习，基于 SSReflect、Coq'Art 和 CPDT

【文件属性】：
文件名称：coq-exercises:Coq 课程练习，基于 SSReflect、Coq'Art 和 CPDT
文件大小：20KB
文件格式：ZIP
更新时间：2021-07-05 03:19:51
Coq coq-练习 Coq 课程的各种练习，在 SSReflect 中实现 存储库的结构 ./cpdt-ssr -- Chlipala 的 CPDT 书中的练习，通过 SSR 重新实现