GeometricTheoremProver
- Downloads last 30 days
- 0
- Downloads last week
- 0
- Downloads last day
- 0
- Downloads last 30 days
- 0
- Downloads last week
- 0
- Downloads last day
- 0
Total Downloads
Lifetime Growth (cumulative)
Dependencies
7 packages (2 direct, 5 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| OrderedCollections | Direct | 426,828 |
| DynamicPolynomials | Direct | 23,834 |
| Reexport | Depth 2 | 244,684 |
| MutableArithmetics | Depth 2 | 77,481 |
| MultivariatePolynomials | Depth 2 | 24,533 |
| StarAlgebras | Depth 2 | 9,639 |
| DataStructures | Depth 3 | 359,621 |
Dependents
No packages in the registry depend on this package.