mathlibtools（已弃用）
安装命令
brew install mathlibtoolsLean 验证器 mathlib 支持工具
https://pypi.org/project/mathlibtools
许可证： Apache-2.0
公式 JSON API： /api/formula/mathlibtools.json
公式代码： mathlibtools.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 1.3.2 |
修订版： 5
依赖
| certifi | 2024.7.4 | Python 的 Mozilla CA 包 |
| cryptography | 43.0.0 | Python 的加密公式和基本工具 |
| libyaml | 0.2.5 | YAML 解析器 |
| [email protected] | 3.12.4 | 解释性、交互式、面向对象编程语言 |
分析
| 安装（30天） | |
|---|---|
mathlibtools |
20 |
| 请求安装（30天） | |
mathlibtools |
20 |
| 构建错误（30天） | |
mathlibtools |
0 |
| 安装（90天） | |
mathlibtools |
73 |
| 请求安装（90天） | |
mathlibtools |
73 |
| 安装（365天） | |
mathlibtools |
834 |
mathlibtools --HEAD |
2 |
| 请求安装（365天） | |
mathlibtools |
834 |
mathlibtools --HEAD |
2 |
