lib:opentheory-divides
Modules
Dependencies
- QuickCheck lib:QuickCheck >=2.4.0.1 && <3.0
- base lib:base >=4.0 && <5.0
- opentheory lib:opentheory >=1.198 && <1.201
- opentheory-primitive lib:opentheory-primitive >=1.6 && <2.0
Reverse dependencies
Direct only. Not exhaustive.
- arithmetic exe:arithmetic
- arithmetic lib:arithmetic
- arithmetic test:arithmetic-test
- opentheory-prime lib:opentheory-prime
- opentheory-prime test:opentheory-prime-test