GeometricTheoremProver

Last updated:
Downloads last 30 days
1
Downloads last week
1
Downloads last day
1
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

7 packages (2 direct, 5 transitive)

PackageDepthDownloads
OrderedCollections
Direct
309,091
DynamicPolynomials
Direct
13,772
Reexport
Depth 2
216,547
MutableArithmetics
Depth 2
64,328
MultivariatePolynomials
Depth 2
15,750
StarAlgebras
Depth 2
5,976
DataStructures
Depth 3
307,965
Dependents

No packages in the registry depend on this package.