The theoremquest package

[Tags: bsd3, library]

TODO


Properties

Version0.0.0
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
Upload dateMon Feb 28 00:50:56 UTC 2011
Uploaded byTomHawkins
Downloads106 total (5 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees