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

Change log | None available |

Dependencies | array (>=0.5 && <1.0), base (>=4.9 && <4.10), 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 repo | head: git clone git://github.com/8084/g4ip-prover.git |

Uploaded | by klntsky at 2017-12-04T08:03:48Z |

## Downloads

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

#### Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees