name: stp version: 0.1.0.0 synopsis: Simple Theorem Prover copyright: (c) 2018 Boro Sitnikovski homepage: https://github.com/bor0/stp license: BSD3 license-file: LICENSE author: Boro Sitnikovski maintainer: buritomath@gmail.com category: Math build-type: Simple extra-source-files: CHANGELOG.md cabal-version: >=1.10 description: Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems. extra-source-files: CHANGELOG.md README.md LICENSE source-repository head type: git location: https://github.com/bor0/stp source-repository this type: git tag: 0.1.0.0 location: https://github.com/bor0/stp library exposed-modules: SimpleTheoremProver build-depends: base >=4.11 && <4.12 , containers ==0.5.11.0 hs-source-dirs: src default-language: Haskell2010 executable mu-test main-is: MU.hs build-depends: base >=4.11 && <4.12 , regex-compat ==0.95.1 , stp hs-source-dirs: example default-language: Haskell2010