Guides

Follow these guides to configure your compute backend (Docker or Modal) and then run and benchmark provers. Each guide assumes you have already installed open-atp (see Installation).

Guides

• Running Locally with Docker
• Running Remotely with Modal
• Running a Prover
• Benchmarking Provers