math-comp
安装命令
brew install math-comp也称为： mathcomp
以前称为： ssreflect
Coq 验证辅助工具的数学组件
https://math-comp.github.io/math-comp/
许可证： CECILL-B
公式 JSON API： /api/formula/math-comp.json
公式代码： math-comp.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 1.19.0 |
| 最新版 | ⚡️ | HEAD |
修订版本： 4
依赖
| coq | 8.19.2 | 高阶逻辑的验证辅助工具 |
从源码构建时依赖
| ocaml | 5.2.0 | ML 家族的通用编程语言 |
| ocaml-findlib | 1.9.6 | OCaml 库管理器 |
分析
| 安装（30天） | |
|---|---|
math-comp |
10 |
| 请求安装（30天） | |
math-comp |
10 |
| 构建错误（30天） | |
math-comp |
4 |
| 安装（90天） | |
math-comp |
108 |
| 请求安装（90天） | |
math-comp |
108 |
| 安装（365天） | |
math-comp |
416 |
| 请求安装（365天） | |
math-comp |
416 |
