PolyPaver | Documentation | Quick Start

Assuming you have downloaded a compatible binary and installed dependencies (see this guide), you can start using PolyPaver to decide conjectures defined in .pp or .tptp files.

We recommend you to start with the examples in folders examples/pp and examples/tptp.

Each of these examples contains information on what PolyPaver parameter values lead to a proof in reasonable time.