# 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.

[maintain]

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 repository | head: git clone git://github.com/8084/g4ip-prover.git |

Executables | g4ip-prover |

Uploaded | Thu Sep 14 22:26:09 UTC 2017 by klntsky |

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees