The theoremquest package

[Tags: bsd3, library]

TODO

Properties

Version0.0.0
Change logNone available
Dependenciesbase (>=4.0 && <5), HTTP (==4000.1.*), json (>=0.4.4 && <0.5), utf8-string (==0.3.*)
LicenseBSD3
AuthorTom Hawkins <tomahawkins@gmail.com>
MaintainerTom Hawkins <tomahawkins@gmail.com>
CategoryGame, Formal Methods, Theorem Provers
Source repositoryhead: git clone git://github.com/tomahawkins/theoremquest.git
UploadedMon Feb 28 00:50:56 UTC 2011 by TomHawkins
DistributionsNixOS:0.0.0
Downloads188 total (6 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees