Compute Backend

A ComputeBackend runs a command over a working directory in a Lean + Mathlib sandbox. open-atp ships two backends — local Docker containers and Modal cloud Sandboxes.

• Docker
• Modal