GeometricTheoremProver

Downloads last 30 days
0
Downloads last week
0
Downloads last day
0
Total Downloads
Dependencies

7 packages (2 direct, 5 transitive)

PackageDepthDownloads
OrderedCollections
Direct
1,075,631
DynamicPolynomials
Direct
19,568
Reexport
Depth 2
320,040
MutableArithmetics
Depth 2
73,627
MultivariatePolynomials
Depth 2
23,928
StarAlgebras
Depth 2
7,204
DataStructures
Depth 3
1,128,093
Dependents

No packages in the registry depend on this package.