GeometricTheoremProver

Last updated:
Downloads last 30 days
1
Downloads last week
0
Downloads last day
0
Total Downloads
View Total Downloads data table
DateDownloads
1
Downloads by Region
Dependencies

7 packages (2 direct, 5 transitive)

PackageDepthDownloads
OrderedCollections
Direct
417,427
DynamicPolynomials
Direct
18,311
Reexport
Depth 2
256,673
MutableArithmetics
Depth 2
61,924
MultivariatePolynomials
Depth 2
21,162
StarAlgebras
Depth 2
2,285
DataStructures
Depth 3
430,043
Dependents

No packages in the registry depend on this package.