README.md

Peanut Prover

Peanut is an automatic theorem prover built on Parikh automata.

Developing

Make sure the following requirements are installed on your system:

• dotnet SDK 6.0 or higher

Building

To build Peanut run

dotnet build