开源序GitHub 开源项目排行

math-comp / math-comp

数学组件

仓库 Star: 711总榜 #49,794
Fork: 136
最近推送: 1 天前更新
仓库创建: 2015 年创建

应用与完整系统通用Rocq Prover许可证未声明

查看源码官网

用途与标签

项目原文 · GitHub

Mathematical Components

用之前确认

没有声明许可证：商用和分发条件无法确认，使用前请联系作者。

Star 走势