容器 swMATH ID: 28591 软件作者： 莱斯库耶，S。 描述： 容器：基于类型类的有限集合/映射库。使用类型类从标准库重新实现FSets/FMaps库。有关用法，请参阅测试文件。Generate.v和插件提供了一个新的本地命令，用于为用户定义的归纳类型自动生成有序类型。 主页： https://github.com/coq-contribs/containers网站 源代码： https://github.com/coq-contribs/containers网站 相关软件： 轻型集装箱；数据类型订单生成器；FinFuns公司；伊莎贝尔/HOL；伊莎贝尔 引用于： 1文件 1位作者引用 1 安德烈亚斯·洛赫比勒 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文