The mprover package
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
| Version | 0.0.0.0 |
|---|---|
| Dependencies | base (<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) |
| License | BSD3 |
| Author | Adam Procter and Aaron Stump |
| Maintainer | Adam Procter <amp269@mail.missouri.edu> |
| Category | Theorem Provers |
| Executables | mp |
| Upload date | Thu Dec 15 11:14:55 UTC 2011 |
| Uploaded by | AdamProcter |
Downloads
- mprover-0.0.0.0.tar.gz (Cabal source package)
- package description (included in the package)