stp: Simple Theorem Prover

[ bsd3, library, math, program ] [ Propose Tags ] [ Report a vulnerability ]

Simple Theorem Prover constructs a proof tree and searches for a target/conclusion given a list of rewrite rules and axioms/theorems.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.0.1
Change log CHANGELOG.md
Dependencies base (>=4 && <5), containers (==0.5.11.0), regex-compat (==0.95.1), stp [details]
License BSD-3-Clause
Copyright (c) 2018 Boro Sitnikovski
Author Boro Sitnikovski
Maintainer buritomath@gmail.com
Category Math
Home page https://github.com/bor0/stp
Source repo head: git clone https://github.com/bor0/stp
this: git clone https://github.com/bor0/stp(tag 0.1.0.1)
Uploaded by bor0 at 2018-11-21T19:11:40Z
Distributions
Executables mu-test
Downloads 1049 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-11-21 [all 1 reports]

Readme for stp-0.1.0.1

[back to package 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.

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
  2. Run cabal install to install dependencies and build this project
  3. Run cabal run to run the example

Copyright 2018, Boro Sitnikovski. All rights reserved.