数学组件
关于
获取库
数学组件库的最新稳定版本 可以是 从github下载 . 安装说明 . 数学组件库的旧版本也可用 ( 历史档案 (2008-2014), github之前的存档 )
文档
每个库的源文件都有一个文档头 它描述了该库中引入的概念和符号。 可以交互地浏览库图形和coqdoc 源文件的显示可以在线浏览: 最新版本: 旧版本: 2.1.0版(2023-10-24): 库图形 , coqdoc演示 2.0.0版(2023-05-10): 库图形 , coqdoc演示 版本1.18.0(2023-11-01): 库图形 , coqdoc演示 版本1.17.0(2023-05-09): 库图形 , coqdoc演示 版本1.16.0(2023-02-01): 库图形 , coqdoc演示 版本2.0+alpha1(2022-12-05): 库图形 , coqdoc演示 版本1.15.0(2022-06-30): 库图形 , coqdoc演示 版本1.14.0(2022-01-19): 库图形 , coqdoc演示 版本1.13.0(2021-10-28): 库图形 , coqdoc演示 版本1.12.0(2020-11-26): 库图形 , coqdoc演示 1.11.0版(2020-06-09): 库图形 , coqdoc演示 版本1.10.0(2019-11-29): 库图形 , coqdoc演示
Ssreflect语言附带专用参考手册, 作为一个 章 Coq参考手册。 A类 书 介绍了写作技巧 算法和证明,并描述了 库。
更多材料
书籍、讲座、视频等。 研究论文 与数学组件相关。 你的论文或 论文不在列表中? 发送 我们 更正此错误的消息。