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

Implementation of a theorem prover for intuitionistic propositional logic using G4ip

[Skip to Readme]

Versions [faq] | 0.1.0.0, 0.1.0.1, 2.0.0.0 |
---|---|

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

Uploaded | by klntsky at Mon Dec 4 08:09:42 UTC 2017 |

Distributions | NixOS:2.0.0.0 |

Executables | g4ip-prover |

Downloads | 927 total (90 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] Last success reported on 2017-12-04 [all 2 reports] |

## Downloads

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