opentheory-divides: The divides relation on natural numbers

[ library, mit, number-theory ] [ Propose Tags ]

The divides relation on natural numbers - this package was automatically generated from the OpenTheory package natural-divides-1.57

Versions [faq] 1.55, 1.56, 1.57, 1.61, 1.62, 1.63, 1.66
Dependencies base (>=4.0 && <5.0), opentheory (>=1.195 && <1.198), opentheory-primitive (>=1.5 && <2.0), QuickCheck (>=2.4.0.1 && <3.0) [details]
License MIT
Author Joe Leslie-Hurd <joe@gilith.com>
Maintainer Joe Leslie-Hurd <joe@gilith.com>
Category Number Theory
Uploaded by JoeHurd at Wed May 13 21:29:23 UTC 2015
Distributions NixOS:1.66
Downloads 1984 total (5 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-05-13 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees