coq_experiments 源码 上传者:difficulty7069 2021-02-21 21:57:15上传 ZIP文件 48.26KB 热度 17次 EliDupree的Coq实验 本自述文件可能已过时。 但是在撰写本文时,这里的主要内容是UniqueContainers.v ,该项目中我制作了HashSet容器类型,可证明提供了严格的唯一容器接口。 下载地址 用户评论 更多下载