Peanut is an automatic theorem prover built on Parikh automata.
Make sure the following requirements are installed on your system:
- dotnet SDK 6.0 or higher
To build Peanut run
dotnet buildPeanut is an automatic theorem prover built on Parikh automata.
Make sure the following requirements are installed on your system:
To build Peanut run
dotnet build