The mprover package

[Tags: bsd3, program]

MProver is a proof checker for equational reasoning in a Haskell-like language. This is an extremely preliminary release, so don't expect it to be terribly useful just yet!


Properties

Version0.0.0.0
Dependenciesbase (<6), containers (>=0.4.0.0), haskell98, mtl (>=2.0.1.0), parsec (>=3.1.1), pretty (>=1.0.1.2), transformers (>=0.2.2.0), unbound (>=0.3.1)
LicenseBSD3
AuthorAdam Procter and Aaron Stump
MaintainerAdam Procter <amp269@mail.missouri.edu>
CategoryTheorem Provers
Executablesmp
Upload dateThu Dec 15 11:14:55 UTC 2011
Uploaded byAdamProcter
Downloads79 total (12 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees