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