GeometricTheoremProver
Last updated: Feb 3, 2026
Downloads last 30 days
2
Downloads last week
1
Downloads last day
0
Downloads last 30 days
2
Downloads last week
1
Downloads last day
0
Total Downloads
Downloads by Region
Dependencies
6 packages (2 direct, 4 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| OrderedCollections | Direct | 683,375 |
| DynamicPolynomials | Direct | 5,955 |
| Reexport | Depth 2 | 85,135 |
| MutableArithmetics | Depth 2 | 33,131 |
| MultivariatePolynomials | Depth 2 | 6,857 |
| DataStructures | Depth 3 | 671,027 |
Dependents
No packages in the registry depend on this package.