name: g4ip-prover version: 0.1.0.1 synopsis: Theorem prover for intuitionistic propositional logic using G4ip description: Implementation of a theorem prover for intuitionistic propositional logic using G4ip license: MIT license-file: LICENSE author: Josh Acay, Klntsky maintainer: klntsky@gmail.com category: Logic build-type: Simple extra-source-files: README.md, README-ru.md, static/proof-header.txt, static/proof-footer.txt, static/context-header.txt, static/context-footer.txt, g4ip.png cabal-version: >=1.10 source-repository head type: git location: git://github.com/8084/g4ip-prover.git executable g4ip-prover main-is: Main.hs other-modules: Parser, Prover, Proposition, LaTeXExporter build-depends: base >=4.9 && <4.10, array >= 0.5 && < 1.0, directory >= 1.0 && < 2.0, system-filepath >= 0.4 && < 1.0 hs-source-dirs: src default-language: Haskell2010