The opentheory package

[Tags: library, mit]

The standard theory library - this package was automatically generated from the OpenTheory package base-1.197

Properties

Versions1.61, 1.74, 1.76, 1.195, 1.196, 1.197
Change logNone available
Dependenciesbase (>=4.0 && <5.0), opentheory-primitive (>=1.5 && <2.0), QuickCheck (>=2.4.0.1 && <3.0)
LicenseMIT
AuthorJoe Leslie-Hurd <joe@gilith.com>
MaintainerJoe Leslie-Hurd <joe@gilith.com>
CategoryFormal Methods
UploadedWed May 13 21:28:36 UTC 2015 by JoeHurd
DistributionsNixOS:1.197
Downloads473 total (75 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-05-13 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees