[prove]

[prove] is a proof verification system using bracketed expressions.

This system is of experimental nature and is not being developed any further. The insights gained during the work on this project lead to a first Python implementation of the SOFiA proof assistant and to a later Haskell prototype thereof.

Installation

In the Linux terminal, follow the following steps:

• Clone the repository:

git clone [email protected]:g-regex/prove.git

• Change directory:

cd prove

• Compile with debug functionality (recommended):

make debug

• To compile without debug functionality type:

make

The path to the [prove] binary is now ./bin/proveparser

Usage

For information on the usage of [prove] refer to the HELP.md

Documentation

Refer to the doc.pdf in the doc/ folder.

License

[prove] is published under the GPL 3.0 license.