prover

prover copied to clipboard

This is a simple reducer and prover for the untyped lambda calculus.

Installation

1. Get stack

    git clone https://github.com/feuerbach/prover.git
    cd prover
    stack install

This package is not on hackage.

Usage

Start with the demo.

Besides that, see the examples/ directory and

prover --help