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

【文件属性】：

文件名称：coq-exercises:Coq 课程练习，基于 SSReflect、Coq'Art 和 CPDT

文件大小：20KB

文件格式：ZIP

更新时间：2024-07-24 21:06:31

Coq

coq-练习 Coq 课程的各种练习，在 SSReflect 中实现 存储库的结构 ./cpdt-ssr -- Chlipala 的 CPDT 书中的练习，通过 SSR 重新实现