# 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.1, 0.1.0.1, 2.0.0.0 |
---|---|

Change log | None available |

Dependencies | array (>=0.5 && <1.0), base (==4.9.*), directory (>=1.0 && <2.0), system-filepath (>=0.4 && <1.0) [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 | Mon Dec 4 08:03:48 UTC 2017 by klntsky |

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees