GeometricTheoremProver

Last updated: Feb 3, 2026

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)

PackageDepthDownloads
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.