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 buildPeanutProver/PeanutProver
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|