文件名称：UniMath:该Coq库旨在使用单价观点形式化大量的数学形式
文件大小：1.7MB
文件格式：ZIP
更新时间：2024-05-19 19:34:54
coq mathematics coq-library foundations unimath
单价数学 该库旨在使用将大量数学形式化。 安装 参见 。 用法 见 内容 包含各种形式化数学的软件包。 有关更多信息，请参见。 中列出了一些描述UniMath库内容的科学文章。 为UniMath贡献 要向UniMath捐款，请提交拉取请求。 您的代码将受的版权和许可协议的约束。 有关样式指南和其他说明，请参见 。 讨论UniMath和获得帮助 有关UniMath库，编译和安装UniMath等问题，应被发送到，这是在存档谷歌集团。 错误应该在我们在Github上的UniMath错误跟踪器中报告。 引用UniMath 要在您的文章中引用UniMath，可以使用以下bibtex项目： @Misc { UniMath , author = { Voevodsky, Vladimir and Ahrens, Benedikt and Grayson, Daniel and oth