homepage: https://github.com/bor0/stp
changelog-type: markdown
hash: f51e3e27bc37642a6cbe68397a78df17c8bfc272cd8a2315cadbb7ecfd72db15
test-bench-deps: {}
maintainer: buritomath@gmail.com
synopsis: Simple Theorem Prover
changelog: ! '# Revision history for stp


  ## 0.1.0.0 -- 2018-11-20

  * First version.

'
basic-deps:
  stp: -any
  base: ==4.11.*
  containers: ==0.5.11.0
  regex-compat: ==0.95.1
all-versions:
- '0.1.0.0'
author: Boro Sitnikovski
latest: '0.1.0.0'
description-type: markdown
description: ! '# Simple Theorem Prover


  Simple Theorem Prover is a proof tree generator. It allows for specifying axioms
  and inference rules, and then by quering the program it will produce all valid combinations
  of inference in attempt to reach a target result.


  This project is based on [Simple theorem prover in Racket](https://bor0.wordpress.com/2018/08/07/simple-theorem-prover-in-racket/).


  ## Prerequisites


  Make sure you have `ghc` and `cabal` installed. Also, make sure that `cabal update`
  is ran to ensure latest version of packages is used.


  ## Installation


  1. Run `cabal sandbox init`

  1. Run `cabal install` to install dependencies and build this project

  1. Run `cabal run` to run the example


  Copyright 2018, Boro Sitnikovski. All rights reserved.

'
license-name: BSD3

Update from Hackage at 2018-11-20T13:42:04Z
Update from Hackage at 2018-11-20T13:42:04Z
