# g4ip-prover: Theorem prover for intuitionistic propositional logic using G4ip

**This is a package candidate release!** Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

Implementation of a theorem prover for intuitionistic propositional logic using G4ip

[Skip to Readme]

## Properties

Versions | 0.1.0.0, 0.1.0.0, 0.1.0.1, 2.0.0.0 |
---|---|

Change log | None available |

Dependencies | array (>=0.5 && <1.0), base (==4.9.*) [details] |

License | MIT |

Author | Josh Acay, Klntsky |

Maintainer | klntsky@gmail.com |

Category | Logic |

Source repo | head: git clone git://github.com/8084/g4ip-prover.git |

Uploaded | by klntsky at 2017-09-14T22:26:09Z |

## Downloads

- g4ip-prover-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainer's Corner

For package maintainers and hackage trustees